A - Grouping
Editorial
/


Time Limit: 2 sec / Memory Limit: 256 MB
配点 : 100 点
問題文
すぬけ君は、1 から 12 までの整数を下図のようにグループ分けしました。 整数 x, y (1 ≤ x < y ≤ 12) が与えられるので、x, y が同一のグループに属しているか判定してください。

制約
- x, y は整数である。
- 1 ≤ x < y ≤ 12
入力
入力は以下の形式で標準入力から与えられる。
x y
出力
x, y が同一のグループに属しているならば Yes
を、そうでなければ No
を出力せよ。
入力例 1
1 3
出力例 1
Yes
入力例 2
2 4
出力例 2
No
Score : 100 points
Problem Statement
Based on some criterion, Snuke divided the integers from 1 through 12 into three groups as shown in the figure below. Given two integers x and y (1 ≤ x < y ≤ 12), determine whether they belong to the same group.

Constraints
- x and y are integers.
- 1 ≤ x < y ≤ 12
Input
Input is given from Standard Input in the following format:
x y
Output
If x and y belong to the same group, print Yes
; otherwise, print No
.
Sample Input 1
1 3
Sample Output 1
Yes
Sample Input 2
2 4
Sample Output 2
No