//韓信點兵 分別三人,五人 七人一組,a b c分別表示每種隊形排尾的人數(且a<3,b<5,c<7)
//計算方法 最少人數=a*70+b*21+c*15-n*105直到人數 少於105
#include<stdio.h>
int main(){
int a,b,c,sum=0;
scanf("%d%d%d",&a,&b,&c);
sum=a*70+b*21+c*15;
while(sum>105){
sum-=105;
if(sum<105)
break;
}
if(sum>100&&sum<=105||sum<10)
printf("無解\n");
if(10<=sum&&sum<=100)
printf("%d\n",sum);
return 0;
}