問題文

すぬけ君は、$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