Олимпиадный тренинг

Задача 38480. Ироха любит Хайку


Ироха любит Хайку. Хайку - это жанр традиционной японской лирической поэзии вака, известный с 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