题目描述

小高有个六面骰子，每面分别标有 $1$ 到 $6$ 的数字。他想知道投掷 $A$ 次骰子，是否有可能得到总和为 $B$ 的点数。

输入格式

输入两个整数 $A$ 和 $B$ ,以空格分隔。

输出格式

如果能够得到总和为 $B$ 的点数，输出： Yes ；否则，输出 No 。

样例

2 11

Yes

2 13

No

100 600

Yes

说明/提示

样例 1 解释

有两种方法可以得到总和为$11$ 的点数：

• 第一次投掷得到 $6$ ，第二次投掷得到 $5$ 。
• 第一次投掷得到 $5$ ，第二次投掷得到 $6$ 。

样例 2 解释

投掷两次六面骰子无法得到总和为 $13$ 的点数。

数据范围

• $1\ \leq\ A\ \leq\ 100$
• $1\ \leq\ B\ \leq\ 1000$
• $A,\ B$ 都是整数。