补一下样例
输入：
6 11
4 12 3 7 6 2
输出：
10