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=Math.min(MD,GG,GO);
   MD-=cnt;
   GG-=cnt;
   GO-=cnt;
   cnt+=Math.floor(MD/3);
   cnt+=Math.floor(GG/3);
   cnt+=Math.floor(GO/3);
   console.log(cnt);
}