#include <bits/stdc++.h>
#ifdef DEBUG
	#define D(x...) printf(x)
#else
	#define D(x...)
#endif
using namespace std;
typedef long long ll;
int a[4];
int main() {
	scanf("%d%d%d%d", &a[0], &a[1], &a[2], &a[3]);
	for (int i = 0; i < (1 << 4); i++) {
		int sum = 0;
		for (int j = 0; j < 4; j++) {
			if (i & (1 << j)) sum += a[j];
		}
		if (sum*2 == a[0] + a[1] + a[2] + a[3]) {
			printf("Yes\n");
			exit(0);
		}
	}
	printf("No\n");
}

#include <bits/stdc++.h>
//#include "debugger.h"
#define int long long
#define pb push_back
#define pp pop_back
#define f first
#define s second
#define all(x) x.begin(), x.end()
using namespace std;
const int nax = 1e6 + 5;

signed main() {
	ios_base::sync_with_stdio(false);
	cin.tie(NULL);
	cout.tie(NULL);

	int a, b, w;
	cin >> a >> b >> w;
	
	w = w * 1000;
	int mini = INT_MAX, maxi = INT_MIN;
	for (int i = 1; i <= nax; i++) {
		if ((a * i) <= w && (b * i >= w)) {
			mini = min (mini, i);
			maxi = max (maxi, i);
		}
	}
	if (mini == INT_MAX)
		cout << "UNSATISFIABLE";
	else 
		cout << mini << " " << maxi;
	
	return 0;
}
