#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; }