AT_abc153_b [ABC153B] Common Raccoon vs Monster

[problemUrl]: https://atcoder.jp/contests/abc153/tasks/abc153_b アライグマはモンスターと戦っています。 モンスターの体力は $ H $ です。 アライグマは $ N $ 種類の必殺技を使うことができ、$ i $ 番目の必殺技を使うとモンスターの体力を $ A_i $ 減らすことができます。 必殺技を使う以外の方法でモンスターの体力を減らすことはできません。 モンスターの体力を $ 0 $ 以下にすればアライグマの勝ちです。 アライグマが同じ必殺技を $ 2 $ 度以上使うことなくモンスターに勝つことができるなら `Yes` を、できないなら `No` を出力してください。

入力は以下の形式で標準入力から与えられる。 > $ H $ $ N $ $ A_1 $ $ A_2 $ $ ... $ $ A_N $

アライグマが同じ必殺技を $ 2 $ 度以上使うことなくモンスターに勝つことができるなら `Yes` を、できないなら `No` を出力せよ。

### 制約 - $ 1\ \leq\ H\ \leq\ 10^9 $ - $ 1\ \leq\ N\ \leq\ 10^5 $ - $ 1\ \leq\ A_i\ \leq\ 10^4 $ - 入力中のすべての値は整数である。 ### Sample Explanation 1 例えば $ 2 $ 番目と $ 3 $ 番目の必殺技を使うことで、モンスターの体力を $ 0 $ 以下にできます。