Problem:
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

Solution in Rust (1.42.0) (judge verdict: Accepted)

use whiteread::parse_line;

fn main() {
    let (x, y): (i32, i32) = parse_line().unwrap();
    let v1: Vec<i32> = vec![4,6,9,11];
    let v2: Vec<i32> = vec![1,3,5,7,8,10,12];
    if x == 2 || y == 2 {
        println!("No");
    } else if v1.contains(&x) && v1.contains(&y) {
        println!("Yes");
    } else if v2.contains(&x) && v2.contains(&y) {
        println!("Yes");
    } else {
        println!("No");
    }
}