[POI1997]独木舟

Grade 0 Open Time Tuesday, 22 January 2013, 9:25 am
Discount 0.8 Time Discount Tuesday, 22 January 2013, 9:25 am
Allow late Yes Close Time Tuesday, 22 January 2013, 9:25 am
Input file kaj.in Output file kaj.out

我们想组织一次独木舟的旅游。独木舟可以在某个海港租借。所有的独木舟都相同,并且最多载两人。参加者的重量之和都不会超过给定的最大重量。我们的目的是想在此次旅行中付费最少。

输入

在文本文件的第一行有一个整数w, 80<=w<=200, 表示每个独木舟的最大载重重量。

在第二行有一个整数n, 1 <= n <= 30000,表示参与旅游的人数.

下面的n行每行一个整数,属于[5..w]. 表示参与者的重量。

输出

在文本文件的第一行有一个整数,表示最少租借独木舟的数目.

示例

输入

100
9
90
20
20
30
50
60
70
80
90

输出

6