Чи можна отримати суму \(B\), кидаючи кубик із шістьма гранями \(1,2,\ldots,6\) \(A\) разів?

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

Вхідний потік містить цілі числа \(A,B\) (\(1 \le A \le 100\), \(1 \le B \le 1000\))

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

У вихідний потік вивести \(Yes\) або \(No\) - відповідь на поставлене завдання

Примітка

До прикладу 1:

Кинути на 5 та 6 або навпаки.

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

2 11

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

Yes

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

2 13

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

No

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

100 600

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

Yes