#include<stdio.h>

void main()
{
    int a[7];
	int sum;
	int i;
	for(i=1;i<7;i++)
		scanf("%d ",&a[i]);
    while (a[1]!=0||a[2]!=0||a[3]!=0||a[4]!=0||a[5]!=0||a[6]!=0)  
	{
	    sum=0;
		while(a[6]!=0) 
			sum=sum+a[6];
    	while(a[5]!=0)  
		{   
			sum=sum+a[5];
		   if(a[1]>0)  
			   a[1]=a[1]-a[5]*11;
		   if(a[1]<0)   a[1]=0;
		}


		while(a[4]!=0)
		{
		    sum=sum+a[4];
			if(a[2]>0)
				a[2]=a[2]-a[4]*5;
			if(a[2]<0)
			{
			   if(a[1]>0)
				   a[1]=a[1]-(a[4]*5-a[2])*4;
			   if(a[1]<0)   a[1]=0;
			   a[2]=0;

			}
		}


		while(a[3]!=0)
		{
		    sum=sum+a[3]/4;
			if(a[3]%4!=0)  sum++;
			if(a[3]%4==3)
			{
			   if(a[2]>0)
			   {
			      a[2]=a[2]-3;
				  if(a[1]>0)    a[1]=a[1]-6;
				  
				  if(a[1]<0)    a[1]=0;

			   }  
			   if(a[2]<0)      
			   {
			      a[2]=0;
				  if(a[1]>0)   a[1]=a[1]-9;
				  if(a[1]<0)   a[1]=0;
			   }
			}
			if(a[3]%4==2)
			{
			   if(a[2]>0)
			   {
			       if(a[1]>0)   a[1]=a[1]- (3-a[2])* 4 - 6;
				   if(a[1]<0)   a[1]=0;
				   a[2]=a[2]-3;
			   }
			   if(a[2]<0) 
			   {
			       if(a[1]>0)   a[1]=a[1]-18;
				   if(a[1]<0)   a[1]=0;
				   a[2]=0;
			   }
			}
			if(a[3]%4==1)
			{
			   if(a[2]>0)
			   {
			       if(a[1]>0)   a[1]=a[1]-(5-a[2]) * 4 -7;
				   if(a[1]<0)   a[1]=0;
				   a[2]=a[2]-5;
			   }
			   if(a[2]<0)
			   {
			      if(a[1]>0)    a[1]=a[1]-27;
				  if(a[1]<0)    a[1]=0;
				  a[2]=0;
			   }
			}
		}
		while(a[2]!=0)
		{
		   sum=sum+a[2]/9;
		   if(a[2]%9!=0)   sum++;
		   if(a[2]%9==8)  a[1]=a[1]-4;
		   if(a[2]%9==7)  a[1]=a[1]-8;
		   if(a[2]%9==6)  a[1]=a[1]-12;
		   if(a[2]%9==5)  a[1]=a[1]-16;
		   if(a[2]%9==4)  a[1]=a[1]-20;
		   if(a[2]%9==3)  a[1]=a[1]-24;
		   if(a[2]%9==2)  a[1]=a[1]-28;
		   if(a[2]%9==1)  a[1]=a[1]-32;
		   if(a[1]<0)      a[1]=0;
		}
		while(a[1]!=0)  
		{
		    sum=sum+a[1]/36;
			if(a[1]%36!=0)  sum++;
		}
	} 
    printf("%d\n",sum);

    for(i=1;i<7;i++)
		scanf("%d ",&a[i]);
}