题目描述

渴学家研究发现，$k$ 种水果一起榨汁的饮料美味程度最高，现在有 $n$ 种不同的水果，每种水果数量为 $a_i$，请计算这些水果最多可榨出多少杯美味的饮料？

水果榨汁时不切块，只能将完整水果放入榨汁机中。

输入格式

两行。

第一行一个正整数 $n$ 和 $k$，表示水果的种类数和一杯美味的饮料需要多少种不同的水果。

第二行 $n$ 个正整数 $a_i$，表示每种水果的数量。

输出格式

一行，一个正整数，表示最终的美味饮料杯数。

样例 #1

样例输入 #1

4 2
3 2 1 1

样例输出 #1

3

样例 #2

样例输入 #2

5 3
5 4 3 2 1

样例输出 #2

5

样例 #3

样例输入 #3

4 3
6 7 4 10

样例输出 #3

8

提示

【样例解释】

样例一：总共可榨出 $3$ 杯饮料，分别是用水果 $1、2$，水果$1、3$、水果 $2、4$ 榨成。

样例三：总共可榨出 $8$ 杯饮料，分别是用水果 $1、2、4$ 榨 $4$ 杯，用水果 $1、3、4$ 榨 $1$ 杯，用水果 $2、3、4$ 榨 $3$ 杯。

【数据范围】

对于 $30\%$ 的数据，有 $1\le k \le n \le 10^3,1\le a_i \le 10^5$。

对于 $100\%$ 的数据，有 $1\le k \le n \le 10^6,1\le a_i \le 10^9$。