题目描述

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

输入格式

第一行，两个整数 $N$ 和 $k$ ($N \leq 5000$，$k \leq 5000$)
第二行，$N$ 个正整数 $A_i$ ($A_i < 50000$)

输出格式

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

输入数据#1

7 7  
1 3 5 8 2 10 12

输出数据#1

7

解释#1

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

数据范围

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