#abc285a. [abc285_a]Edge Checker 2

[abc285_a]Edge Checker 2

Problem Statement

Determine if there is a segment that directly connects the points numbered aa and bb in the figure below.

Constraints

  • 1leqaltbleq151 \\leq a \\lt b \\leq 15
  • aa and bb are integers.

Input

The input is given from Standard Input in the following format:

aa bb

Output

Print Yes if there is a segment that directly connects the points numbered aa and bb; print No otherwise.


Sample Input 1

1 2

Sample Output 1

Yes

In the figure in the Problem Statement, there is a segment that directly connects the points numbered 11 and 22, so Yes should be printed.


Sample Input 2

2 8

Sample Output 2

No

In the figure in the Problem Statement, there is no segment that directly connects the points numbered 22 and 88, so No should be printed.


Sample Input 3

14 15

Sample Output 3

No