#include<bits/stdc++.h>
using namespace std;
int a,b,c,l,r;
int main(){
	cin>>a>>b>>c;
	c*=1000;
	l=c/b;
	if(c%b!=0)l++;
	r=c/a;
	if(r<l)puts("UNSATISFIABLE");
	else cout<<l<<" "<<r;
}
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<ll,ll> pll;
#define MottoHayaku ios::sync_with_stdio(0);cin.tie(0);
#define rep(i,n) for(ll i=0;i<n;i++)
#define rep1(i,n) for(ll i=1;i<=n;i++)
#define F first
#define S second
#define pb push_back
const ll INF=2e18;


signed main()
{
    MottoHayaku
    ll a,b,c;
    cin>>a>>b>>c;
    c*=1000;
    ll mn=INF,mx=-1;
    rep1(i,1000000)
    {
        double tmp=c;
        double k=c/(double)i;
        if(k<=b&&k>=a) mn=min(mn,i),mx=max(mx,i);
    }
    if(mn==INF) cout<<"UNSATISFIABLE\n";
    else cout<<mn<<" "<<mx<<"\n";
}
