题目描述

现在有 $k$ 个队，飞机有 $n$ 排座位，每排能坐 $8$ 个人，不同队伍的人不能坐相邻的位置。

相邻情况有 $5$ 种 $(1, 2), (3, 4), (4, 5), (5, 6), (7, 8)$。请问这 $n$ 排座位是否够坐。

$k$ 个队的总人数小于 $8 \cdot n$。

输入格式

每组数据共两行。

第一行包含两个数 $n,k$ 分别表示飞机有 $n$ 排座位，有 $k$ 个队伍（$1 \le n \le 10000$，$1 \le k \le 100$）。

第二行 有 $k$ 个数字，$a[1], \ldots, a[k]$，其中 $a[i]$ 表示第 $i$ 个队伍有 $a[i]$ 人。

其中 $a[1]+a[2]+ \cdots +a[k] \le 8 \cdot n$；

输出格式

如果这 $n$ 排座位够坐，输出 YES，否则输出 NO。

2 2
5 8

YES

1 2
7 1

NO

1 2
4 4

YES

1 4
2 2 1 2

YES