AT_abc208_a [ABC208A] Rolling Dice

[problemUrl]: https://atcoder.jp/contests/abc208/tasks/abc208_a $ 1,2,\ldots,6 $ の出目がある $ 6 $ 面サイコロを $ A $ 回振ったとき、出た目の合計が $ B $ になることはありますか？

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

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

### 制約 - $ 1\ \leq\ A\ \leq\ 100 $ - $ 1\ \leq\ B\ \leq\ 1000 $ - $ A,\ B $ は整数である。 ### Sample Explanation 1 $ 6 $ 面サイコロを $ 2 $ 回振ったときに出た目の和が $ 11 $ になるのは次の $ 2 $ 通りの場合です。 - $ 1 $ 回目のサイコロの出目が $ 6 $ で、$ 2 $ 回目のサイコロの出目が $ 5 $ である。 - $ 1 $ 回目のサイコロの出目が $ 5 $ で、$ 2 $ 回目のサイコロの出目が $ 6 $ である。 ### Sample Explanation 2 $ 6 $ 面サイコロを $ 2 $ 回振ったときに出た目の和が $ 13 $ になることはありません。