#include<stdio.h>
int main()
{
int a,b,c,n,j,i=0;
while(scanf("%d%d%d",&a,&b,&c)!=EOF)
{
j=0;
i++;
for(n=10;n<=100;n++)
{
if(n%3==a&&n%5==b&&n%7==c)
{
j=1;
break;
}
else
j=0;
}
if(j)
printf("Case %d:%d\n",i,n);
else
printf("Case %d:No answer\n",i);
}
return 0;
}
int main()
{
int a,b,c,n,j,i=0;
while(scanf("%d%d%d",&a,&b,&c)!=EOF)
{
j=0;
i++;
for(n=10;n<=100;n++)
{
if(n%3==a&&n%5==b&&n%7==c)
{
j=1;
break;
}
else
j=0;
}
if(j)
printf("Case %d:%d\n",i,n);
else
printf("Case %d:No answer\n",i);
}
return 0;
}