Задача B. Подозрительный регбист ≡

Условие

 — И все-таки, Шерлок, что заставило Вас поставить под сомнение рассказ этого человека? Признаюсь, его внешний вид и повествование о победе в финале олимпийского турнира по регби произвели на меня впечатление!

 — Многое, Джон... Его загар не характерен для северного полушария, размер и форма мышц скорее соответствует портовому грузчику, нежели профессиональному спортсмену, а самое главное — если верить его словам, финальный матч завершился с совершенно невозможным счетом. Нет, этот человек не тот, за кого себя выдает, а вот зачем ему это нужно — нам с вами предстоит узнать!

Согласно правилам игры, победителем регбийного матча становится команда, набравшая большее число очков, чем соперник. Очки присуждаются за совершение результативных действий:

1) попытка (5 очков). При занесении попытки команда получает право провести её реализацию и заработать дополнительные очки;

2) реализация (2 очка). Эти очки можно набрать только после удачной попытки;

3) штрафной удар или дроп-гол (3 очка). Эти очки можно набрать в любой момент игры.

Может ли игра в регби действительно завершиться с указанным счетом?

Формат входных данных

Единственная строка входного файла содержит два неотрицательных целых числа, записанных через дефис: a и b — счет игры.

Формат выходных данных

Выведите "Yes" или "No" — ответ на вопрос задачи.

Ограничения

0 ≤ a, b ≤ 100

Система оценки и описание подзадач

Баллы за каждый тест начисляются независимо.

Пояснение к примеру

В примере приведен невозможный счет 1-0. Если 0 очков команда набрать действительно может (не совершив ни одного результативного действия), то 1 очко в игре набрать нельзя.

Примеры тестов

1-0

No