/*
*用经验解,默认当在1~10000之间凑不出的个数超过50个时视为INF,这个自己可以用几个极端的例子验证下(本来是想用是否互质来解的,发现即便是互质的也可能存在INF的如3,50),所以就用这种暴力的方法了,如有错误请指正!
*/
public class Main{
static int[] a;static int count,N;
static boolean flag;
public static void main(String[] args)
{
Scanner in=new Scanner(System.in);
while(in.hasNext())
{
N=in.nextInt();
a=new int[N];
for(int i=0;i<N;i++)
{
a[i]=in.nextInt();
}
count=0;
for(int i=1;i<10000;i++)
{
flag=false;
dfs(i);
if(!flag)
count++;
if(count>=50)
{
System.out.println("INF");
break;
}
}
if(count<50)
System.out.println(count);
}
}
private static void dfs(int num) {
// TODO Auto-generated method stub
if(num<=0)
{
if(num==0)
{
flag=true;
}
return;
}
for(int i=0;i<N;i++)
{
if(!flag)
{
dfs(num-a[i]);
}
}
}
}