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