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

typedef unsigned long long ull;
typedef long long ll;
typedef long double ld;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;

#define fastio() ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0)
#define test() int t;cin>>t;for(int test=1;test<=t;test++)
#define pb push_back
#define nl cout<<"\n"
#define F first
#define S second
#define all(x) x.begin(),x.end()

template<class C> void min_self( C &a, C b ){ a = min(a,b); }
template<class C> void max_self( C &a, C b ){ a = max(a,b); }

const ll MOD = 1000000007;
ll mod( ll n, ll m=MOD ){ n%=m,n+=m,n%=m;return n; }

const int MAXN = 1e5+5;
const int LOGN = 21;
const ll INF = 1e14;
int dx[] = {1,0,-1,0};
int dy[] = {0,1,0,-1};

template<class T1, class T2> void add( T1 &x, T2 y, ll m = MOD )
{
	x += y;
	if( x >= m )
		x -= m;
}

template<class T1, class T2> void sub( T1 &x, T2 y, ll m = MOD )
{
	x -= y;
	if( x < 0 )
		x += m;
}

int dp[1002][1002];

int main() 
{
	#ifdef gupta_samarth
		freopen("input.txt", "r", stdin);
		freopen("output.txt", "w", stdout);
	#endif
	fastio();

	int a,b,w;
	cin>>a>>b>>w;

	w *= 1000;
	int mn = MOD, mx = 0;
	for(int i=w/b;i<=(w+a-1)/a;i++)
	{
		if( a*i <= w && w <= b*i )
		{
			mn = min(mn, i);
			mx = max(mx, i);
		}
	}
	if( mn == MOD )
	{
		cout<<"UNSATISFIABLE",nl;
		return 0;
	}
	cout<<mn<<" "<<mx,nl;


	cerr << "\nTime elapsed: " << 1000 * clock() / CLOCKS_PER_SEC << "ms\n";
	return 0;
}

#include <iostream>
using namespace std;

int A, B;
double W;

int isin(double N) {
    if(N >= A and N <= B) {
        return true;
    } else {
        return false;
    }
}

int main() {
    cin >> A >> B >> W;
    int max = 0;
    int min = 0;
    for (int i = 1; i <= W * 1000; i++) {
        double pre = W * 1000 / i;

        if(isin(pre)) {
            min = i;
            break;
        }
    }

    for (int i = W * 1000; i > 0; i--) {
        double pre = W * 1000 / i;

        if(isin(pre)) {
            max = i;
            break;
        }
    }

    if (min == 0) {
        min = max;
    }
    if (max == 0) {
        max = min;
    }

    if (min == 0 and max == 0) {
        cout << "UNSATISFIABLE" << endl;
    } else {
        cout << min << " " << max << endl;
    }
}