AT_bcu30_2019_a Wolf Keyboard

[problemUrl]: https://atcoder.jp/contests/bcu30-2019/tasks/bcu30_2019_a ある世界では $ N $ 種類の文字が使われています。また、この世界のキーボードには、$ K $ 個の文字キーと $ 1 $ 個の Shift キーがあります。 しかし、 **文字の種類数はキーボードの文字キーの数より多く、文字キーの数の $ 2 $ 倍より少ないことが分かっています。** すなわち、$ K\

入力は以下の形式で標準入力から与えられる。 > $ N $ $ K $ $ a_1 $ $ : $ $ a_N $

キーを押す回数の合計の最小値を出力せよ。

### 制約 - $ 2\