题目描述

小李在玩一个智力游戏，从 $N$ 个不重复的正整数中，选出不超过 $k$ 个数涂上颜色，使得涂出数的和为$7$的倍数，请你帮小李编程求出这些数的和，输出满足条件的最小值，不能满足条件则输出$-1$。

输入格式

第一行，两个整数 $N$ ($N<=5000$)和 $k$($k<=5000$)

第二行，$N$ 个正整数 $A_i$ ($A_i<50000$)

输出格式

一个数，满足条件的最小值，不能满足条件则输出$-1$。

样例

7 7
1 3 5 8 2 10 12

7

解释#1

这里有 2+5=7，1+5+8=14，2+12=14，1+8+12=21 等，但是 $7$ 最小，输出 $7$。

数据范围

• 对于 $20\%$ 的数据，$N<=100$，$k=2$；
• 对于 $50\%$ 的数据，$N<=1000$，$k=2$；
• 对于 $70\%$ 的数据，$N<=1000$，$k=3$；
• 对于 $100\%$ 的数据，$N<=5000$，$k<=5000$。