A - Rolling Dice Editorial /

Time Limit: 2 sec / Memory Limit: 1024 MB

配点 : 100

問題文

1,2,\ldots,6 の出目がある 6 面サイコロを A 回振ったとき、出た目の合計が B になることはありますか?

制約

  • 1 \leq A \leq 100
  • 1 \leq B \leq 1000
  • A, B は整数である。

入力

入力は以下の形式で標準入力から与えられる。

A B

出力

出た目の合計が B になり得る場合は Yes を、そうでない場合は No を出力せよ。


入力例 1

2 11

出力例 1

Yes

6 面サイコロを 2 回振ったときに出た目の和が 11 になるのは次の 2 通りの場合です。

  • 1 回目のサイコロの出目が 6 で、2 回目のサイコロの出目が 5 である。
  • 1 回目のサイコロの出目が 5 で、2 回目のサイコロの出目が 6 である。

入力例 2

2 13

出力例 2

No

6 面サイコロを 2 回振ったときに出た目の和が 13 になることはありません。


入力例 3

100 600

出力例 3

Yes

Score : 100 points

Problem Statement

Is it possible to get a sum of B when throwing a die with six faces 1,2,\ldots,6 A times?

Constraints

  • 1 \leq A \leq 100
  • 1 \leq B \leq 1000
  • A and B are integers.

Input

Input is given from Standard Input in the following format:

A B

Output

If it is possible to get a sum of B, print Yes; otherwise, print No.


Sample Input 1

2 11

Sample Output 1

Yes

There are two ways to get a sum of 11 when throwing a 6-faced die twice:

  • getting 6 in the first throw and 5 in the second throw;
  • getting 5 in the first throw and 6 in the second throw.

Sample Input 2

2 13

Sample Output 2

No

There is no way to get a sum of 13 when throwing a 6-faced die twice.


Sample Input 3

100 600

Sample Output 3

Yes