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