题目描述

题目背景

小珅因为见义勇为，被赠予了光之巨人的变身器！他立刻变身成为光之巨人，和伙伴小泽一起，准备击退入侵地球的怪兽。

题目描述

这只怪兽拥有 $m$ 格血量，十分顽强。小珅的光之巨人掌握 $n$ 种攻击技能，每种技能都能对怪兽造成 $A_i$ 格血量的伤害，但每个技能只能使用一次。

小泽想知道：小珅能否在所有技能都使用的情况下，将怪兽的血量扣到 $0$ 点及以下，从而击败怪兽？如果可以，输出 Yes，否则输出 No。

怪兽总共有 $m$ 格血量。

小珅共有 $n$ 种攻击技能，第 $i$ 种攻击技能可以造成 $A_i$ 格伤害，且每个技能只能使用一次。

当怪兽血量被扣除到 `0 及以下时，小珅获胜。 判断小珅是否能获胜，若可以输出 Yes，否则输出 No。

输入格式

第一行输入两个整数 $m, n$，分别表示怪兽血量和小珅的攻击技能数量。

接下来 $n$ 行，每行输入一个整数 $A_i$，表示第 `i 种技能的伤害值。

输出格式

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

10 3
4 
5 
6

Yes

数据规模与约定

对于 $100\%$ 的数据：

$1 \le m \le 10^9$

$1 \le n \le 10^5$

$1 \le A_i \le 10^4$