#include<stdio.h>
#include<string.h>
int main()
{
int i,j,n,k,m,c[4]={0,1,2,5},b[4];
int c1[8010],c2[8010];
while(scanf("%d%d%d",&b[1],&b[2],&b[3]),b[1]||b[2]||b[3])
{
memset(c1,0,sizeof(c1));
memset(c2,0,sizeof(c2));
for(i=0;i<=b[1];i++)
c1[i]=1;
n=b[1]+2*b[2]+5*b[3];
for(i=2;i<=3;i++)
{
for(j=0;j<=n-c[i]*b[i];j++)
for(k=0;k<=c[i]*b[i];k=k+c[i])
{c2[j+k]+=c1[j];}
for(j=0;j<=n;j++)
{
c1[j]=c2[j];
c2[j]=0;
}
}
for(i=1;i<=n;i++)
if(c1[i]==0)
break;
printf("%d\n",i);
}
return 0;
}