問題文

負でない $4$ つの整数 $A,B,C,D$ が与えられます。これらを並び替えることで、連続する $4$ つの整数にできるか判定してください。

なお、$4$ つの整数 $X<Y<Z<W$ が「連続する」とは、$Y=X+1,Z=Y+1,W=Z+1$ がすべて成立することを指します。

入力

$A$ $B$ $C$ $D$

• 入力は全て整数で与えられる
• $0\le A,B,C,D\le 100$

出力

与えられた $4$ つの整数を並び替えて連続する $4$ つの整数にできるとき、Yes と出力してください。そうでなければ、No と出力してください。

出力の末尾で忘れずに改行してください。

サンプル

3 1 2 4

Yes

0 2 2 4

No