说明

约翰最近买了一个书架用来存放奶牛养殖书籍，但书架

输入格式

输出格式

能达到书架高度所使用奶牛的最少数目。

样例

6 40
6
18
11
13
19
11

3