说明

本题需要使用文件重定向，输入文件名water.in，输出文件名water.out

题目描述

有$n$个人排队到$r$个水龙头去打水，他们装满水桶的时间$t_{1},t_{2},t_{3},\cdots ,t_{n}$为整数且各不相等，应如何安排他们的打水顺序才能使他们花费的总时间最少？

每个人打水的时间 = 排队的时间 + 实际打水的时间，本题假设一个人打好水，排在他后面的人接着打水的这个切换过程不消耗时间。

比如，有2个人$A$和$B$，他们打水的时间分别是3和2，只有1个水龙头，这时，如果$A$先打水，$B$后打水，那么$A$和$B$打水的时间分别为3、3+2（$B$排队3分钟）

因此，所有人打水的总时间就是每个人的打水时间及每个人的排队时间的总和。

输入格式

第1行，两个整数$n$($1\leqslant n\leqslant 500$)和$r$($1\leqslant r\leqslant 100$)

第2行，$n$个正整数$t_{1},t_{2},t_{3},\cdots ,t_{n}$，($1\leqslant t_{i}\leqslant 1000$)表示每个人装满水桶的时间

输出格式

1行，一个正整数，表示他们花费的最少总时间

4 2
2 6 4 5

23