CF839B Game of the Rows

现在有 $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`。

In the first sample, Daenerys can place the soldiers like in the figure below: In the second sample, there is no way to place the soldiers in the plane since the second group soldier will always have a seat neighboring to someone from the first group. In the third example Daenerys can place the first group on seats $ (1,2,7,8) $ , and the second group an all the remaining seats. In the fourth example she can place the first two groups on seats $ (1,2) $ and $ (7,8) $ , the third group on seats $ (3) $ , and the fourth group on seats $ (5,6) $ .