该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

椅子

题目描述

小雨和小东正在布置一场团队知识竞赛的会场。会场里已经摆好了 $n$ 张桌子，现在需要为每张桌子配上四把椅子。

椅子共有 $m$ 种颜色，第 $i$ 种颜色有 $a_i$ 把。为了让会场看起来整齐美观，他们希望布置同时满足：

• 同一张桌子的四把椅子颜色相同；
• 每一种颜色都至少被一张桌子使用。

请判断是否存在满足条件的布置方案。椅子不必全部用完。

输入格式

第一行包含两个整数 $n,m$（$1\le n,m\le100$），分别表示桌子数量和椅子颜色数量。

第二行包含 $m$ 个整数 $a_i$（$1\le a_i\le100$），表示第 $i$ 种颜色的椅子数量。

输出格式

如果可以完成布置，输出 YES；否则输出 NO。

输入输出样例 #1

输入 #1

7 3
5 21 9

输出 #1

YES

输入输出样例 #2

输入 #2

5 4
8 5 10 3

输出 #2

NO

输入输出样例 #3

输入 #3

6 5
5 5 5 5 5

输出 #3

NO

说明/提示

样例解释 #2

虽然前三种颜色一共可以配齐五张桌子，但第四种颜色只有三把椅子，连一张桌子都配不齐，因此不能满足第二个条件。