Description

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

Input Format

输入包含两个整数 A 和 B，以空格分隔。

Output Format

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

2 11

Yes

2 13

No

100 600

Yes

Hint

数据范围与提示 【样例1说明】 有两种方法可以得到总和为11的点数： ·第一次投掷得到6，第二次投掷得到5 ·第一次投掷得到5，第二次投掷得到6

【样例2说明】 投掷两次六面骰子无法得到总和为13的点数。

【数据范围】 1≤A≤100 1≤B≤1000 A 和 B 都是整数。