#include <bits/stdc++.h>
#define rep(i,n) for(int i = 0; i < (n); i++)
using namespace std;
using ll = long long;
using ld = long double;

int main(){
    cin.tie(0);
    ios::sync_with_stdio(0);
    
    int X[3]; rep(i,3) cin >> X[i];
    if(gcd(X[0], gcd(X[1], X[2])) != 1) { cout << "INF" << endl; return 0; }
    int MAX = 1e7;
    vector<int> dp(MAX, 0);
    dp[0] = 1;
    rep(s,MAX) rep(i,3) if(s + X[i] < MAX) dp[s + X[i]] |= dp[s];
    int ans = 0;
    rep(s,MAX) ans += !dp[s];
    cout << ans << endl;
}