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 a=ary[0]+ary[3];
   var b=ary[1]+ary[4];
   var c=ary[2]+ary[5];
   var cnt=0;
   var A=(a-(a%3))/3;
   var B=(b-(b%3))/3;
   var C=(c-(c%3))/3;
   if(A>=1){A--;a=a%3+3;}
   if(B>=1){B--;b=b%3+3;}
   if(C>=1){C--;c=c%3+3;}
   cnt+=A+B+C;
   if(a>=2 && b>=2 && c>=2){
      cnt+=2;
      a-=2;
      b-=2;
      c-=2;
   }
   if(a>=3){cnt++;a-=3;}
   if(b>=3){cnt++;b-=3;}
   if(c>=3){cnt++;c-=3;}
   while(a>=1 && b>=1 && c>=1){
      cnt++;
      a--;
      b--;
      c--;
   }
   console.log(cnt);
}