#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
#define ll long long
#define rep(i, n) for (int i = 0; i < (n); i++)
#define coutf(f) cout << fixed << setprecision(f)
#define all(v) (v).begin(), (v).end()
#define rall(v) (v).rbegin(), (v).rend()

int main() {
	const int X = 10000000;
	int a, b, c;
	cin >> a >> b >> c;
	if (gcd(gcd(a, b), c) != 1) {
		cout << "INF" << endl;
		return 0;
	}
	vector<bool> ok(X + 1, false);
	ok[0] = true;
	int ans = 0;
	for (int x = 0; x <= X; ++x) {
		if (ok[x]) {
			if (x + a <= X) ok[x + a] = true;
			if (x + b <= X) ok[x + b] = true;
			if (x + c <= X) ok[x + c] = true;
		}
		else {
			ans++;
		}
	}
	cout << ans << endl;
	return 0;
}