#AT1081. A - Grouping
A - Grouping
当前没有测试数据。
A - Grouping
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:
Output
If $x$ and $y$ belong to the same group, print Yes
; otherwise, print No
.
1 3
Yes
2 4
No