问题描述

小李在玩一个智力游戏，从 $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

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

数据范围

• 对于 $100\%$ 的数据，$N≤5000$，$k≤5000$。