問題文

下図のように、円周上に等間隔で打たれた $12$ 個の点があります。点には、時計回りに $0, 1, 2, \dots, 11$ と番号がつけられています。

Shirotsume は、この点の中から $3$ つの異なる点 $X, Y, Z$ を選び、それぞれを線分で結んで正三角形を作りました。

$X, Y$ が与えられるので、 $Z$ を求めてください。

制約

• 入力は全て整数
• $0 \leq X \leq 11$
• $0 \leq Y \leq 11$
• $X \neq Y$
• 点 $X, Y, Z$ をそれぞれ線分で結んでできる三角形が正三角形となるような $Z$ が存在する入力のみが与えられる。

入力

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

$X$ $Y$

出力

答えとなる整数 $Z$ $(0 \leq Z \leq 11)$ を出力せよ。

最後に改行すること。

サンプル

サンプル1

入力

0 4

出力

8

$(X, Y, Z) = (0, 4, 8)$ とすると、下図の通り正三角形ができます。

サンプル2

入力

11 7

出力

3

$(X, Y, Z) = (11, 7, 3)$ とすると、下図の通り正三角形ができます。

サンプル3

入力

6 10

出力

2

$(X, Y, Z) = (6, 10, 2)$ とすると、下図の通り正三角形ができます。