配点 : $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 を出力せよ。

2 11

Yes

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

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

2 13

No

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

100 600

Yes