C. Три гирлянды
ограничение по времени на тест
2 секунды
ограничение по памяти на тест
256 мегабайт
ввод
стандартный ввод
вывод
стандартный вывод

Мишка только начал украшать ёлку к Новому году. У него есть три гирлянды, и все он хочет использовать для украшения. После этого Мишка их все зажжёт.

Когда гирлянда включена, она периодически меняет своё состояние — иногда горит, иногда нет. Формально, если i-я гирлянда включена в течение некоторой секунды x, то она горит только в течение секунд x, x + ki, x + 2ki, x + 3ki и так далее.

Мишка хочет включить гирлянды таким образом, чтобы в каждую секунду после включения гирлянд горела хотя бы одна. Формально, Мишка выбирает три целых числа x1, x2 и x3 (не обязательно различных) так, чтобы если включить первую гирлянду в течение x1-й секунды, вторую — в течение x2-й, а третью — в течение x3-й, то в течение любой секунды, начиная с max(x1, x2, x3), будет гореть хотя бы одна гирлянда.

Помогите Мишке узнать, можно ли осуществить его идею!

Входные данные

В первой строке записаны три целых числа k1, k2 и k3 (1 ≤ ki ≤ 1500) — временные промежутки каждой из гирлянд.

Выходные данные

Если Мишка может выбрать такие моменты времени, чтобы включить гирлянды так, что в каждую секунду после включения всех гирлянд горела хотя бы одна, то выведите YES.

В противном случае выведите NO.

Примеры
Входные данные
2 2 3
Выходные данные
YES
Входные данные
4 2 3
Выходные данные
NO
Примечание

В первом примере Мишка может выбрать x1 = 1, x2 = 2, x3 = 1. Первая гирлянда будет гореть в течение секунд 1, 3, 5, 7, ..., вторая — 2, 4, 6, 8, ..., чего уже достаточно, чтобы покрыть все секунды после 2-й. Не влияет даже значение x3. Наш выбор приведет, однако, к тому, что третья горит в течение секунд 1, 4, 7, 10, ....

Во втором примере никак нельзя выбрать такие моменты времени, всегда будет существовать секунда, в которую не горит ни одна гирлянда.