var input = require('fs').readFileSync('/dev/stdin', 'utf8');
var Arr=(input.replace(/\n$/,"")).split("\n");
while(true){
var str=Arr.shift();
if(str=="0 0 0 0 0 0")break;
var arr=str.split(" ").map(Number);
var MD=arr[0]+arr[3];
var GG=arr[1]+arr[4];
var GO=arr[2]+arr[5];
var cnt=0;
min=Math.min(MD,GG,GO);
cnt+=min;
MD-=min;
GG-=min;
GO-=min;
while(MD>=3){cnt++;MD-=3;}
while(GG>=3){cnt++;GG-=3;}
while(GO>=3){cnt++;GO-=3;}
console.log(cnt);
}