配点 : $100$ 点

問題文

すぬけ君は、$1$ から $12$ までの整数を下図のようにグループ分けしました。 整数 $x$, $y$ ($1 \leq x < y \leq 12$) が与えられるので、$x$, $y$ が同一のグループに属しているか判定してください。

制約

• $x$, $y$ は整数である。
• $1 \leq x < y \leq 12$

入力

入力は以下の形式で標準入力から与えられる。

$x$ $y$

出力

$x$, $y$ が同一のグループに属しているならば Yes を、そうでなければ No を出力せよ。

1 3

Yes

2 4

No