Đề Bài

Có thể nhận được tổng là B điểm khi tung xúc sắc có sáu mặt (1, 2, ..., 6) A lần hay không?

Input

Một dòng duy nhất bao gồm hai số nguyên A và B.

Giới hạn:

$1\leq A\leq 100$ $1\leq B\leq 1000$

Output

Nếu có thể được B điểm, in ra Yes, còn không thì in ra No.

Ví Dụ

Input 1

2 11

Output 1

Yes

Input 2

2 13

Output 2

No

Limitation

1s, 1024KiB for each test case.