P24150 [AtCoder] Rolling Dice
入门
题目描述

Problem Statement

Is it possible to get a sum of B when throwing a die with six faces $1,2,\ldots,6 A$ times?

Input

Input is given from Standard Input in the following format:
A B

Output

If it is possible to get a sum of B, print Yes; otherwise, print No.

Constraints

  • $1 \leq A \leq 100$
  • $1 \leq B \leq 1000$
  • A and B are integers.

Sample Input 1

2 11

Sample Output 1

Yes

There are two ways to get a sum of 11 when throwing a 6-faced die twice:

  • getting 6 in the first throw and 5 in the second throw;
  • getting 5 in the first throw and 6 in the second throw.

Sample Input 2

2 13

Sample Output 2

No

There is no way to get a sum of 13 when throwing a 6-faced die twice.

Sample Input 3

100 600

Sample Output 3

Yes

输入格式

见题面 Input 部分

输出格式

见题面 Output 部分

样例输入
2 11
样例输出
Yes