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;
   while(MD>0 && GG>0 && GO>0){
      MD--;
      GG--;
      GO--;
      cnt++;
   }
   while(MD>=3){cnt++;MD-=3;}
   while(GG>=3){cnt++;GG-=3;}
   while(GO>=3){cnt++;GO-=3;}
   console.log(cnt);
}