#include  < iostream >

using   namespace  std;

int   d[ 6 ];

int  main()
{
    
while ( scanf( " %d%d%d%d%d%d " , d +   0 , d +   1 , d +   2 , d +   3 , d +   4 , d +   5  ),
           d[
0 ] +  d[ 1 ] +  d[ 2 ] +  d[ 3 ] +  d[ 4 ] +  d[ 5 ] !=   0  )
    
{
        
int  num =   0 ;
        
for  (  int  i =   0 ; i <  d[ 5 ];  ++ i )
            num
++ ;

        
for  (  int  i =   0 ; i <  d[ 4 ];  ++ i )
        
{
            num
++ ;
            d[
0 ] -=   11 ;
        }


        
for  (  int  i =   0 ; i <  d[ 3 ];  ++ i )
        
{
            num
++ ;

            
if  ( d[ 1 ] >=   5  )  
            
{
                d[
1 ] -=   5 ;
            }

            
else  
            
{
                d[
0 ] =  d[ 0 ] -  ( 5 -  d[ 1 ]) *   4 ;
                d[
1 ] =   0 ;
            }

        }


        
if  ( d[ 2 ] >   0  )
        
{
            
if  ( d[ 2 ] %   4 ==   0  )  num =  num +  d[ 2 ] /   4 ;
            
else                 num =  num +  d[ 2 ] /   4 +   1 ;
        }


        
int  left =  d[ 2 ] %   4 ;
        
        
if  ( left ==   1  )
        
{
            
if  ( d[ 1 ] >=   5  )
            
{
                d[
1 ] -=   5 ;
                d[
0 ] -=   7 ;
            }

            
else   if  ( d[ 1 ] >   0  )
            
{
                d[
0 ] =  d[ 0 ] -  ( ( 5 -  d[ 1 ] ) *   4 +   7  );
                d[
1 ] =   0 ;
            }

        }

        
else   if  ( left ==   2  )
        
{
            
if  ( d[ 1 ] >=   3  )
            
{
                d[
1 ] -=   3 ;
                d[
0 ] -=   6 ;
            }

            
else   if  ( d[ 1 ] >   0  )
            
{
                d[
0 ] =  d[ 0 ] -  ( ( 3 -  d[ 1 ] ) *   4 +   6  );
                d[
1 ] =   0 ;
            }

        }

        
else   if  ( left ==   3  )
        
{
            
if  ( d[ 1 ] >=   1  )
            
{
                d[
1 ] -=   1 ;
                d[
0 ] -=   5 ;
            }

            
else  d[ 0 ] -=   9 ;
        }


        
if  ( d[ 1 ] >   0  )
        
{
            
if  ( d[ 1 ] %   9 ==   0  ) num =  num +  d[ 1 ] /   9 ;
            
else                num =  num +  d[ 1 ] /   9 +   1 ;

            left
=  d[ 1 ] %   9 ;
            
if  ( left >   0  )  d[ 0 ] =  d[ 0 ] -  ( 9 -  left) *   4 ;
        }


        
if  ( d[ 0 ] >   0  )
        
{
            
if   ( d[ 0 ] %   36 ==   0  ) num =  num +  d[ 0 ] /   36 ;
            
else                  num =  num +  d[ 0 ] /   36 +   1 ;
        }


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


    
return   0 ;
}
posted on 2008-10-01 19:42 Darren 阅读(492) 评论(0)  编辑 收藏 引用 所属分类: 搜索

只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   博问   Chat2DB   管理