问题陈述

当投掷一个有六个面的骰子 $A$ 次时，能否得到总和为 $B$？

约束条件

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

输入

输入格式如下，从标准输入中获取：

$A$ $B$

输出

如果能够得到总和为 $B$，则打印 Yes；否则，打印 No。

示例输入 1

2 11

示例输出 1

Yes

当投掷一个有六个面的骰子两次时，有两种方式可以得到总和为 $11$：

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

示例输入 2

2 13

示例输出 2

No

当投掷一个有六个面的骰子两次时，无法得到总和为 $13$。

示例输入 3

100 600

示例输出 3

Yes