#abc153c. [abc153_c]Fennec vs Monster

[abc153_c]Fennec vs Monster

問題文

フェネックは NN 体のモンスターと戦っています。

ii 番目のモンスターの体力は HiH_i です。

フェネックは次の 22 種類の行動を行うことができます。

  • 攻撃:モンスターを 11 体選んで攻撃することで、そのモンスターの体力を 11 減らす
  • 必殺技:モンスターを 11 体選んで必殺技を使うことで、そのモンスターの体力を 00 にする

攻撃と必殺技以外の方法でモンスターの体力を減らすことはできません。

全てのモンスターの体力を 00 以下にすればフェネックの勝ちです。

フェネックが KK 回まで必殺技を使えるとき、モンスターに勝つまでに行う攻撃の回数 (必殺技は数えません) の最小値を求めてください。

制約

  • 1leqNleq2times1051 \\leq N \\leq 2 \\times 10^5
  • 0leqKleq2times1050 \\leq K \\leq 2 \\times 10^5
  • 1leqHileq1091 \\leq H_i \\leq 10^9
  • 入力中のすべての値は整数である。

入力

入力は以下の形式で標準入力から与えられる。

NN KK H1H_1 ...... HNH_N

出力

フェネックがモンスターに勝つまでに行う攻撃の回数 (必殺技は数えない) の最小値を出力せよ。


入力例 1

3 1
4 1 5

出力例 1

5

33 番目のモンスターに必殺技を使い、11 番目のモンスターに 44 回、22 番目のモンスターに 11 回攻撃を行うことで、攻撃の回数を 55 回にできます。


入力例 2

8 9
7 9 3 2 3 8 4 6

出力例 2

0

全てのモンスターに必殺技を使うことができます。


入力例 3

3 0
1000000000 1000000000 1000000000

出力例 3

3000000000

オーバーフローに注意してください。