#include <bits/stdc++.h>
#define int long long
using namespace std;

int cx[1000005];
int ci[1000005];

signed main(){
int a,b,w;
memset(ci,0X3f,sizeof(ci));
memset(cx,0,sizeof(cx));
ci[0] = 0;
cin>>a>>b>>w;
w = w*1000;

int judge = 0;
for(int i=a;i<=b;i++)
    for(int j=i;j<=w;j++){
    cx[j] = max(cx[j],cx[j-i]+1);
    ci[j] = min(ci[j],ci[j-i]+1);

}
//4557430888798830399

if(ci[w]==4557430888798830399)
    cout<<"UNSATISFIABLE";
else
    cout<<ci[w]<<" "<<cx[w];





}
#pragma GCC optimize("O3")
//#pragma GCC target("avx")
#include <bits/stdc++.h>
using namespace std;
#define re return
#define pb push_back
#define all(x) (x).begin(), (x).end()
#define make_unique(x) sort(all(x)),x.resize(unique(all(x))-x.begin())
#define fi first
#define se second
#define ss second.second
#define sf second.first
#define ff first.first
#define fs first.second
#define sqrt(x) sqrt(abs(x))
#define mp make_pair
#define PI 3.14159265358979323846
#define E 2.71828182845904523536
#define er erase
#define in insert
#define fo(i,n) for((i)=0;(i)<(n);(i)++)
#define ro(i,n) for((i)=n-1;(i)>=0;(i)--)
#define fr(i,j,n) for((i)=(j);(i)<(n);(i)++)
#define rf(i,j,n) for((i)=((n)-1);(i)>=(j);(i)--)
typedef long double ld;
typedef long long ll;
typedef unsigned long long ull;
typedef unsigned int uint;
void eras(map<int,int> &m,int x)
{
    m[x]--;
    if (!m[x])
        m.erase(x);
}
const int N=(int)3e5+100;
const int M=(int)2e6+100;
const int inf=(int)1e9+100;
#define filename ""

int main()
{
    //freopen("input.txt","r",stdin);
    //freopen("output.txt","w",stdout);
    //freopen(filename".in","r",stdin);
    //freopen(filename".out","w",stdout);
    //freopen("ans.txt","w",stdout);
    mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
    srand(time(0));
    ios_base::sync_with_stdio(0);
    cin.tie(0);cout.tie(0);
    int a,b,w,i;
    cin>>a>>b>>w;
    w*=1000;
    fr(i,1,1000001)
    {
        if (a*i<=w&&w<=b*i) break;
    }
    if (i==1000001)
    {
        cout<<"UNSATISFIABLE";
    }
    else
    {
        cout<<i<<' ';
        while(a*(i+1)<=w&&w<=b*(i+1))
        {
            i++;
        }
        cout<<i;
    }
}
