#include<stdio.h>
int main(){
  
  int a=-1,b=-1,c=-1,d=-1,e=-1,f=-1;
  int min,ans=0,i;
  
  //入力
  scanf("%d %d %d %d %d %d",&a,&b,&c,&d,&e,&f);
  while(1){
    
    //全て0なら入力を終わる
    if(a==0 && b==0 && c==0 && d==0 && e==0 && f==0)  break;
    
    //足し算
    a+=d; b+=e; c+=f;

    for(i=0;i<=2;i++){
      if(a>=i && b>=i && c>=i){
	//printf("ans=%d %d\n",ans,(a-i)/3 + (b-i)/3 + (c-i)/3 + i);
	if(ans < (a-i)/3+(b-i)/3+(c-i)/3 + i) ans=(a-i)/3+(b-i)/3+(c-i)/3 + i;
      }
    }
    printf("%d\n",ans);
    ans=0;
    scanf("%d %d %d %d %d %d",&a,&b,&c,&d,&e,&f); 
  }
  return 0;
}