#include<stdio.h>
int main()
{
	int i,a[6],sum=0;
	for(i=0;i<6;i++)
		scanf("%d",&a[i]);
	while(a[0]+a[1]+a[2]+a[3]+a[4]+a[5]!=0)
	{
		sum=a[5]+a[4]+a[3];
									a[5]=0;
		if(a[0]>0)
			a[0]-=a[4]*11;
									a[4]=0;
		if(a[1]>=a[3]*5)
			a[1]-=a[3]*5;
		else
		{
			a[0]-=(a[3]*5-a[1])*4;
			a[1]=0;
		}
									a[3]=0;
		if(a[2]>0)
		{
			sum+=a[2]/4+1;
			if(a[1]<0)
				a[1]=0;
			switch(a[2]%4)
			{
			case 0:
				sum--;
				break;
			case 1:
				if(a[1]>=5)
				{
					a[1]-=5;
					a[0]-=7;
				}
				else
				{
					a[0]-=(5-a[1])*4+7;
					a[1]=0;
				}
				break;
			case 2:
				if(a[1]>=3)
				{
					a[1]-=3;
					a[0]-=6;
				}
				else
				{
					a[0]-=(3-a[1])*4+6;
					a[1]=0;
				}
				break;
			case 3:
				if(a[1]>=1)
				{
					a[1]-=1;
					a[0]-=5;
				}
				else
					a[0]-=9;
				break;
			}
		}
									a[2]=0;
		if(a[1]>0)
		{
			sum+=a[1]/9+1;
			if(a[1]%9!=0)
				a[0]-=36-(a[1]%9)*4;
			else
				sum--;
		}
									a[1]=0;
		if(a[0]>0)
		{
			sum+=a[0]/36+1;
			if(a[0]%36==0)
				sum--;
		}
		printf("%d\n",sum);
		for(i=0;i<6;i++)
			scanf("%d",&a[i]);
	}
	return 0;
}