Memory Limit：256 MB
Time Limit：2 S
Judge Style：Text Compare
Creator：
Submit：0
Solved：0
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.
题意翻译
### **题目描述**
#### 现在有两个序（如下图）
#### 给你两个数，问你这两个数是不是在同一个序列里面的。
### **输入格式**
#### 一行，两个整数x,y(1≤x,y≤12)。
### **输出格式**
一行如果x和y在同一个序列里，就输出Yes，否则输出No。
### **输入样例1**
```
1 3
```
### **输出样例1**
```
Yes
```
### **输入样例2**
```
2 4
```
### **输出样例2**
```
No
```