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.

b4ab979900ed647703389d4349eb84ee.png

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`.

Examples

Input

1 3


Output

Yes


Input

2 4


Output

No
from __future__ import division
import math


def get_min(w, h):
    m = 1e11
    for x in [w // 3, w // 3 + 1]:
        if x == 0: continue
        a = [x*h, (w-x)*(h//2), (w-x)*(h - h//2)]
        print a
        m = min(m, max(a) - min(a))
    return m

digits = raw_input()
a, b = [int(x) for x in digits.split(' ')]
g_1 = [1, 3, 5, 7, 8, 10, 12]
g_2 = [4, 6, 9, 11]
g_3 = [2]
if (a in g_1 and b in g_1) or (a in g_2 and b in g_2) or (a in g_3 and b in g_3):
    print 'Yes'
else:
    print "No"