AT_arc080_a [ABC069C] 4-adjacent

[problemUrl]: https://atcoder.jp/contests/abc069/tasks/arc080_a 長さ $ N $ の数列 $ a\ =\ (a_1,\ a_2,\ ...,\ a_N) $ があります。 各 $ a_i $ は正の整数です。 すぬけ君の目標は、$ a $ の要素を自由に並べ替え、次の条件が成り立つようにすることです。 - 各 $ 1\

入力は以下の形式で標準入力から与えられる。 > $ N $ $ a_1 $ $ a_2 $ $ ... $ $ a_N $

すぬけ君が目標を達成できるならば `Yes` を、できないならば `No` を出力せよ。

### 制約 - $ 2\