小轩由于见义勇为，他被赠予了光之巨人的变身器！于是小轩变身成为光之巨人，准备去打败入侵地球的怪兽。这个怪兽血量非常多，总共有m格血量。

小轩的光之巨人总共会用n种攻击技能，第i种攻击技能可以给怪兽造成Ai格血的伤害，从而扣除怪兽Ai格血量。

当小轩用技能把怪兽的血量扣除到0点及以下，他就打败了了怪兽，获得胜利。

然而由于小轩第一次变身，所以任意的技能i使用之后就会进入超长的冷却，也就是每一个技能只能使用一次。那么小轩可以获胜吗，如果可以，输出 Yes ，否则输出 No 。

第一行输入两个整数m、n，表示怪兽血量为m，小轩有n种攻击技能。接下来第二行输入n个整数： A1A2...... An，Ai表示第i种技能的伤害值。

如果小轩可以获胜，输出 Yes ，否则输出 No 。

[数据范围] 1 ≤ m ≤ 10^9； 1 ≤ n ≤ 10^5； 1 ≤ Ai ≤ 10^4。