Визначте, чи існує відрізок, який безпосередньо сполучає точки з номерами \(a\) і \(b\) на малюнку нижче.

Обмеження

• \(1≤a<b≤15\)
• \(a\) і \(b\) є цілими числами.

Формат вхідних даних

Вхідний потік містить цілі числа \(a,b\).

Формат вихідних даних

У вихідний потік вивести Yes, якщо є відрізок, який безпосередньо сполучає точки з номерами \(a\) і \(b\) або виведіть No в іншому випадку.

Приклад вхідних даних

1 2

Приклад вихідних даних

Yes

Приклад вхідних даних

2 8

Приклад вихідних даних

No

Приклад вхідних даних

14 15

Приклад вихідних даних

No