题目描述

小高有一个六面骰子，每面分别标有$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 ≤ A ≤ 100$
• $1 ≤ B ≤ 1000$
• $A$ 和 $B$ 都是整数。

来源

• AtCoder ABC208A