题目描述

Raccoon is fighting with a monster.

The health of the monster is $H$.

Raccoon can use $N$ kinds of special moves. Using the $i$-th move decreases the monster's health by $A_i$. There is no other way to decrease the monster's health.

Raccoon wins when the monster's health becomes $0$ or below.

If Raccoon can win without using the same move twice or more, print Yes; otherwise, print No.

浣熊正在与怪物战斗。

怪物的 health 值是 $H$ 。

浣熊可以使用 $N$ 种特殊招式。使用 $i$ （th）招式会使怪物的生命值降低 $A_i$ 。没有其他方法可以降低怪物的生命值。

当怪物的生命值变为 $0$ 或以下时，浣熊就赢了。

如果浣熊可以在不使用相同招式两次或两次以上的情况下获胜，则打印 "是"；否则打印 "否"。

输入格式

输入内容按以下格式标准输入：

$H$ $N$
$A_1$ $A_2$ $...$ $A_N$

输出格式

如果 Raccoon 可以在不使用相同棋步两次或两次以上的情况下获胜，则打印 "是"；否则打印 "否"。

样例 #1

样例输入 #1

10 3
4 5 6

样例输出 #1

Yes

样例 #2

样例输入 #2

20 3
4 5 6

样例输出 #2

No

样例 #3

样例输入 #3

210 5
31 41 59 26 53

样例输出 #3

Yes

样例 #4

样例输入 #4

211 5
31 41 59 26 53

样例输出 #4

No

说明

数据规模与约定

• $1 \leq H \leq 10^9$
• $1 \leq N \leq 10^5$
• $1 \leq A_i \leq 10^4$
• 所有输入值均为整数。

样例 $1$ 解释

例如，使用第二招和第三招后，怪物的生命值将变为 $0$ 或以下。