#include<iostream>
#include<string>
using namespace std;
const int numMax=1000;
const int lmax=10000;
int main()
{
int num[3],kinds[3]={1,2,5};
int ca,cb,cc,total,temp,max;
unsigned short c1[lmax+1]={0},c2[lmax+1]={0};
bool out;
while(cin>>num[0]>>num[1]>>num[2]&&(num[0]!=0||num[1]!=0||num[2]!=0))
{
total=num[0]+num[1]*2+num[2]*5;
for(ca=0;ca<=num[0];ca++)
c1[ca]=1;
max=num[0];
for(ca=1;ca<3;ca++)
{
for(cb=0;cb<=max;cb++)
{
for(cc=0,temp=0;cc<=num[ca];cc++,temp+=kinds[ca])
{
c2[temp+cb]+=c1[cb];
}
}
if(temp+cb>max)
max=temp+cb;
for(cb=0;cb<=max;cb++)
{
c1[cb]=c2[cb];
c2[cb]=0;
}
}
for(ca=0,out=false;ca<=total;ca++)
if(c1[ca]==0)
{
cout<<ca<<endl;
out=true;
break;
}
}
return 0;
memset(c2,0,sizeof(c2));
memset(c1,0,sizeof(c1));
c1[ca]=c2[ca]=0;
for(ca=0;ca<=total;ca++)
cout<<ca<<endl;
}
/*#include<stdio.h>
int main()
{
int n1,n2,n5,x,i,i1;
while(scanf("%d %d %d",&n1,&n2,&n5)!=EOF&&(n1!=0||n2!=0||n5!=0))
{
for(i1=1;;i1++)
{
i=i1;
x=i/5;
if(x>n5)
{
i-=5*n5;
}
else
{
i-=x*5;
}
x=i/2;
if(x>n2)
{
i-=2*n2;
}
else
{
i-=x*2;
}
if(i>n1)
break;
}
printf("%d/n",i1);
}
}*/
#include<string>
using namespace std;
const int numMax=1000;
const int lmax=10000;
int main()
{
int num[3],kinds[3]={1,2,5};
int ca,cb,cc,total,temp,max;
unsigned short c1[lmax+1]={0},c2[lmax+1]={0};
bool out;
while(cin>>num[0]>>num[1]>>num[2]&&(num[0]!=0||num[1]!=0||num[2]!=0))
{
total=num[0]+num[1]*2+num[2]*5;
for(ca=0;ca<=num[0];ca++)
c1[ca]=1;
max=num[0];
for(ca=1;ca<3;ca++)
{
for(cb=0;cb<=max;cb++)
{
for(cc=0,temp=0;cc<=num[ca];cc++,temp+=kinds[ca])
{
c2[temp+cb]+=c1[cb];
}
}
if(temp+cb>max)
max=temp+cb;
for(cb=0;cb<=max;cb++)
{
c1[cb]=c2[cb];
c2[cb]=0;
}
}
for(ca=0,out=false;ca<=total;ca++)
if(c1[ca]==0)
{
cout<<ca<<endl;
out=true;
break;
}
}
return 0;
memset(c2,0,sizeof(c2));
memset(c1,0,sizeof(c1));
c1[ca]=c2[ca]=0;
for(ca=0;ca<=total;ca++)
cout<<ca<<endl;
}
/*#include<stdio.h>
int main()
{
int n1,n2,n5,x,i,i1;
while(scanf("%d %d %d",&n1,&n2,&n5)!=EOF&&(n1!=0||n2!=0||n5!=0))
{
for(i1=1;;i1++)
{
i=i1;
x=i/5;
if(x>n5)
{
i-=5*n5;
}
else
{
i-=x*5;
}
x=i/2;
if(x>n2)
{
i-=2*n2;
}
else
{
i-=x*2;
}
if(i>n1)
break;
}
printf("%d/n",i1);
}
}*/