描述

格式

输入

输出

输出一行，包含一个整数，表示小明需要使用的卡牌数目。如果用光所有卡牌，依然不能击退敌人，输出 −1。

输入输出样例

3 5
2 3 4

2

限制

1秒, 1024KiB 测试内存.