#include <iostream>
using namespace std;

int p[7];
int main()
{
    while(1)
    {
        cin>>p[1]>>p[2]>>p[3]>>p[4]>>p[5]>>p[6];
        if(p[1]==0&&p[2]==0&&p[3]==0&&p[4]==0&&p[5]==0&&p[6]==0) break;
        else
        {
            int ans=p[6];       
            ans+=p[5];
            p[1]=p[1]-p[5]*11>0? p[1]-p[5]*11:0;      
            ans+=p[4];  
            if(p[2]<=p[4]*5)
            {
                int rest =p[4]*5-p[2];
				p[2]=0;
                p[1]=rest*4-p[1]>=0? 0:p[1]-rest*4;
            }
            else  p[2]=p[2]-p[4]*5;
            ans+=(p[3]+3)/4;
			int mod=p[3]%4; 
            if(mod==1)
            {
                  if(p[2]>=5)
                  {
                    p[2]-=5;
                    p[1]=p[1]-7>0? p[1]-7:0;
                  }
                  else
                  {
					   p[1]-(27-p[2]*4)>=0?p[1]-(27-p[2]*4):0;
					   p[2]=0;
                  }
              }
              else if(mod==2)
              {
                if(p[2]>=3)
                {
                    p[2]-=3;
                    p[1]=p[1]-6>=0?p[1]-6:0;
                }
                else
                {
                   p[1]-(18-p[2]*4)>=0?p[1]-(18-p[2]*4):0;
				   p[2]=0;
                }
              }
              else if(mod==3)
              {
                  if(p[2]>=1)
                  {
                      p[2]-=1;
                      p[1]=p[1]-5>=0?p[1]-5:0;
                  }
                  else
                  {
                       p[1]-(9-p[2]*4)>=0?p[1]-(9-p[2]*4):0;
                       p[2]=0;
                  }
              }
               ans+=(p[2]+8)/9;
               if(p[2]%9==1)
			   {
                      p[1]=p[1]-32>0?p[1]-32:0;
			   }
                   else if(p[2]%9==2)
				   {
                      p[1]=p[1]-28>0?p[1]-28:0;
				   }
                  else if(p[2]%9==3)
                  {
                      p[1]=p[1]-24>0?p[1]-24:0;
                  }
                  else if(p[2]%9==4)
                  {
                      p[1]=p[1]-20>0? p[1]-20:0;
                  }
                  else if(p[2]%9==5)
                  {
                      p[1]=p[1]-16>0?p[1]-16:0;
                  }
				  else if(p[2]%9==6)
				  {
					  p[1]=p[1]-12>0?p[1]-12:0;
				  }
				  else if(p[2]%9==7)
				  {
					  p[1]=p[1]-8>0?p[1]-8:0;
				  }
				  else if(p[2]%9==8)
				  {
					  p[1]=p[1]-4>0?p[1]-4:0;
				  }
			  ans+=(p[1]+35)/36;
              cout<<ans<<endl;
        }
    }
    return 0;
}