> #include<stdio.h>
> #include<math.h>
> 
> void main()
> {
> 	int xi[6],num[20];
> 	int i=0,j=0,k=0,sa=0;
> 	for(j=0;j<6;j++)scanf("%d",&xi[j]);
>     while(xi[0]+xi[1]+xi[2]+xi[3]+xi[4]+xi[5]) 
> 	{   
> 		num[i]=xi[5]+xi[4]+xi[3]+xi[2]/4;
> 		xi[2]=xi[2]%4;
> 		k=(4-xi[2])*2-1;
> 		sa=xi[1];
> 		xi[1]=xi[1]-5*xi[3]-k;
> 		if(xi[1]<0)
> 		{
> 			xi[1]=0;
> 			xi[0]=xi[0]-xi[3]*20+sa*4;
> 		}
> 		xi[0]=xi[0]-11*xi[4]-(36-9*xi[2]-4*k);
> 	    if(xi[0]<0)xi[0]=0;
> 	    if(xi[2]>0)num[i]++;
> 		k=(xi[0]+xi[1]*4)%36;
> 		num[i]=num[i]+(xi[0]+xi[1]*4)/36;
> 		if(k!=0)num[i]++;
> 		i++;
> 		for(j=0;j<6;j++)scanf("%d",&xi[j]);
> 	    }
> 	for(j=0;j<i;j++)printf("%d\n",num[j]);
> }
>