RT，就是把一块边长为 $a_i$ 的玻璃换成边长为 $0$ 的玻璃。

如果不行，那为什么有些题解在动态规划时会允许 $j$ 和 $k$ 为 $0$ 啊？这样子不会让某些无解的情况变得有解吗？

（比如输入：

3 5
1
1
1

如果不能将玻璃换没的话，应该输出 -1；如果可以将玻璃换没的话，应该输出 2。）