Задача:  Ироха любит Хайку
                  
              Ироха любит Хайку. Хайку - это жанр традиционной японской лирической поэзии вака, известный с XIV века. Хайку состоит из трех фраз с 5, 7 и 5 слогами, именно в такой последовательности (схема 5-7-5). Для создания Хайку Ироха придумала три разные фразы. В этих фразах a, b и с слогов соответственно. Определите, может ли Ироха построить Хайку, используя каждую из фраз один раз в определенном порядке. 
Входные данные
На вход подаются три натуральных числа 
a, 
b и 
с (
\(1 <= a, b, c <= 10\)) .
Выходные данные
Если возможно построить Хайку, используя каждую из фраз по одному разу, выведите 
YES (с учетом регистра). В противном случае выведите 
NO.
 
 
Примеры
	
		
			| № | 
			Входные данные | 
			Выходные данные | 
		
	
	
		
			| 1 | 
			5 5 7 | 
			YES | 
		
		
			| 2 | 
			5 7 7 | 
			NO | 
		
	
          
             
            
        
                
        
        
        
            
           
    
                  
                    
    
                                   
                      
                        
    
            
            Ваш ответ: