#P5057. 「FJSC2018PJD4T5」独木舟

「FJSC2018PJD4T5」独木舟

Description

我们计划组织一个独木舟旅行。 租用的独木舟都是一样的,最多乘两人,而且载重有一个限度。现在要节约费用,所以要尽可能地租用最少的舟。

读入载重量,参加旅行的人数以及每个人的体重。计算所需要租船数目。

Input Format

从文件 kaj.in 读入

第一行是整数 ww,每条船最大的载重量。

第二行是整数 nn,参加旅行的人数。

接下来的 n 行,每行是一个整数, 范围[5..w]。表示每个人的重量。

Output Format

输出到文件kaj.out

最小租用数目。

Sample

输入样例1 kaj.in:

100
9
90
20
20
30
50
60
70
80
90

输出样例2 kaj.out:

6

Hint

1n300001 \le n \le 30000, 80w200 80 \leq w \leq 200