#include<iostream>
using namespace std;
int main()
{
start:
int quit = 0;
int products[6] = {0};
int ind = 0;
do
{
cin >> products[ind];
quit = quit|products[ind];
ind = (++ind);
}while(ind!=6);
if(quit == 0)
return 1;
int boxNo = products[5];
if(products[4]!=0)
{
boxNo += products[4];
products[0] -= (products[4]*11);
if(products[0] < 0) products[0] = 0;
}
if(products[3]!=0)
{
boxNo += products[3];
products[1] -= (products[3]*5);
if(products[1] < 0)
{
products[0] += (products[1]*4);
if(products[0] < 0) products[0] = 0;
products[1] = 0;
}
}
if(products[2]!=0)
{
boxNo += (products[2]/4);
int p3 = products[2]%4;
if(p3!=0)
{
boxNo++;
if(p3==1)
{
products[1] -= 5;
products[0] -=7;
if(products[0] < 0) products[0] = 0;
if(products[1] < 0)
{
products[0] += (products[1]*4);
if(products[0] < 0) products[0] = 0;
products[1] = 0;
}
}
else if(p3==2)
{
products[1] -= 3;
products[0] -=6;
if(products[0] < 0) products[0] = 0;
if(products[1] < 0)
{
products[0] += (products[1]*4);
if(products[0] < 0) products[0] = 0;
products[1] = 0;
}
}
else if(p3==3)
{
products[1] -= 1;
products[0] -= 3;
if(products[0] < 0) products[0] = 0;
if(products[1] < 0)
{
products[0] += (products[1]*4);
if(products[0] < 0) products[0] = 0;
products[1] = 0;
}
}
}
}
if(products[1]!=0)
{
boxNo += (products[1]/9);
int p2 = products[1]%9;
if(p2!=0)
{
boxNo++;
products[0] -= ((9-p2)*4);
if(products[0]<0)
products[0] = 0;
}
}
if(products[0]!=0)
{
boxNo += (products[0]/36);
boxNo += (products[0]%36>0?1:0);
}
cout << boxNo <<endl;
goto start;
}