#include<stdio.h>
#include<iostream>
using namespace std;
int c1[10000];
int c2[10000];
int num[4];
int main()
{
while(scanf("%d%d%d", &num[1], &num[2], &num[3])&&(num[1]||num[2]||num[3]))
{
int _max = num[1]*1 + num[2]*2 + num[3]*5;
for(int i = 0; i <= _max; i++)进行初始化;用来最后判断最小的值;
{
c1[i] = 0;
c2[i] = 0;
}
for(int i = 0; i <= num[1]; i++)//先对第一个式子初始化;
c1[i] = 1;
for(int i = 0; i <= num[1]; i++)//i是第一个式子每项的指数,不是系数。
for(int j = 0; j <= num[2]*2; j += 2)//不用限定,即不是用j+i<num[];
c2[j+i] = c2[j+i] + c1[i];
for(int i = 0; i <= num[1]*1+num[2]*2; i++)//主要的地方 为了扩大指数的也即是钱的范围,为什么上面不用限定
{
c1[i] = c2[i];
c2[i] = 0;
}
for(int i = 0; i <= num[1]*1+num[2]*2; i++)//第一个式子与第二个式子得到的式子再与第三个相乘
for(int j = 0; j <= num[3]*5; j += 5)
c2[j+i] = c2[j+i] +c1[i];
for(int i = 0; i <= num[1]*1+num[2]*2+num[3]*5; i++)//扩大。
{
c1[i] = c2[i];
c2[i] = 0;
}
int k;
for(k = 0; k <= _max; k++)
if(c1[k]==0)
{
printf("%d\n", k);
break;
}
if(k == _max+1)
printf("%d\n", k);
}
}