题目内容

在某医院临床实验室中，为了及时诊断和治疗患者，医院决定对病人进行生化检测。为了更高效地完成检测工作，医院组织了一支由多名实验室技术人员和机器人组成的团队。

每名技术人员的工作效率不同，工作效率力 $N$ 人/时，并且由于外界变化，技术人员的效率会以 $K$ 人/小时为粒度发生变化（ $K=N\times 10\%$ ）。

为了让技术人员能够发挥最佳效率，医院决定每名技术人员需要一名机器人协助，这样技术人员才能发挥正常效率，然后在此基础上，每增加一名机器人，工作效率提升 $1K$ ，最多提升 $3K$ ，但是技术人员如果没有机器人协助组织，工作效率就会下降 $2K$ 。医院需要确定如何安排技术人员和机器人以实现最快的工作效率。

您需要设计一个算法来解决这个问题，并输出总最快工作效率（总检查效率为技术人员效率值相加）。

输入描述

输入第一行为两个整数 $n$ 和 $k$ ， $n$ 表示技术人员人数， $k$ 表示机器人人数。（ $1\le n\le 100$ ， $1\le k \le 500$ ）

输入第二行为 $n$ 个整数，第 $i$ 个整数表示第 $i$ 个技术人员的基准效率值为 $a_i$ （人/小时）。（ $60\le a_i \le 600$ ，并且保证 $a_i \times 10\%$ 为整数）

输出描述

输出为一个整数，表示总最快工作效率（单位人/小时）。

样例1

输入

2 2
200 200

输出

400

样例2

输入

4 2
460 60 440 310

输出

1196