/* @JUDGE_ID:4461XX 311 C++ */
/* A */
#include<stdio.h>

int data[6] ;

int  examine( void )
{
	int count=0 , last , i ;

		if( data[5] ){ /* 6*6 */
			count += data[5] ;
			data[5] = 0 ;
		}

		if( data[4] ){ /* 5*5 */
			/* 1*1*11 */
			if( data[0]<=11*data[4] ) data[0] = 0 ;
			else data[0] -= 11*data[4] ;

			count += data[4] ;
			data[4] = 0 ;
		}

		if( data[3] ){ /* 4*4 */
			/* 2*2 */
			if( data[1]<=5*data[3] ){
				last = 4*( 5*data[3]-data[1] ) ;
				data[1] = 0 ;
			}
			else{
				last = 0 ;
				data[1] -= 5*data[3] ;
			}

			/* 1*1 */
			if( last&&data[0] )
				if( data[0]<=last ) data[0] = 0 ;
				else data[0] -= last ;

			count += data[3] ;
			data[3] = 0 ;
		}

		if( data[2] ){ /* 3*3 */
			/* 3*3 */
			count += data[2]/4 ;
			if( data[2]%4 ){
				count ++ ;
				last = 0 ;
				switch( data[2]%4 ){
					case 1 : if( data[1]<=5 ){
							last += 7+(5-data[1])*4 ;
							data[1] = 0 ;
						 }
						 else{
							last += 7 ;
							data[1] -= 5 ;
						 }
						 break ;
					case 2 : if( data[1]<=3 ){
							last += 6+(3-data[1])*4 ;
							data[1] = 0 ;
						 }
						 else{
							last += 6 ;
							data[1] -= 3 ;
						 }
						 break ;
					case 3 : if( data[1]<=1 ){
							last += 5+(1-data[1])*4 ;
							data[1] = 0 ;
						 }
						 else{
							last += 5 ;
							data[1] -= 1 ;
						 }
						 break ;
				}
				data[0] = data[0]<=last? 0 : data[0]-last ;
			}
			data[2] = 0 ;
		}
		if( data[1] ){ /* 2*2 */
			count += data[1]/9 ;
			if( data[1]%9 ){
				count ++ ;
				last = 4*( 9-(data[1]%9) ) ;
			}
			data[0] = data[0]<=last? 0 : data[0]-last ;			
			data[1] = 0 ;
		}
		if( data[0] ){ /* 1*1 */
			count += data[0]/36 ;
			if( data[0]%36 ) count ++ ;
			data[0] = 0 ;
		}

	return count ;
}
int main( void )
{
	int i ;

	while( 1 ){
		for( i=0 ; i<6 ; i++ ) scanf( "%d" , &data[i] ) ;
		if( (!data[0])&&(!data[1])&&(!data[2])&&(!data[3])&&(!data[4])&&(!data[5]) ) break ;

		printf( "%d\n" , examine() ) ;
	}

	return 0 ;
}