#include <stdio.h>
#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000000
	
int main(){
	
	int A,B,C;
	cin>>A>>B>>C;
	
	if(gcd(A,gcd(B,C))!=1){
		cout<<"INF"<<endl;
		return 0;
	}
	int TT = max({A*B,B*C,C*A});
	bitset<4000010> b;
	b[0] = true;
	
	rep(i,TT/A){
		b |= b<<A;
	}
	rep(i,TT/B){
		b |= b<<B;
	}
	rep(i,TT/C){
		b |= b<<C;
	}
	

	int ans = 0;
	rep(i,TT){
		if(!b[i])ans++;
	}
	
	cout<<ans<<endl;
	
    return 0;
}