AT_cpsco2019_s1_c Coins

[problemUrl]: https://atcoder.jp/contests/cpsco2019-s1/tasks/cpsco2019_s1_c ある国では $ 1,\ 10,\ 100,\ldots\ ,10^{9} $ 円硬貨および $ 5,\ 50,\ 500,\ldots\ ,5\times\ 10^{9} $ 円硬貨の $ 20 $ 種類の硬貨が流通しています。 てんぷら君は果物を買いにスーパーマーケットに行きました。そこには $ N $ 種類の果物が $ 1 $ つずつ売られており、値段はそれぞれ $ A_1,\ A_2,\ldots,\ A_N $ 円です。 てんぷら君はこの中から $ K $ 個を選んで買うことにしました。合計金額をちょうど支払うために必要な硬貨の枚数として考えられる最小の枚数を求めてください。なお、てんぷら君はすべての硬貨を十分たくさん持っているものとします。

入力は以下の形式で標準入力から与えられます。 > $ N\ K $ $ A_1\ A_2\ \ldots\ A_N $

必要な硬貨の最小枚数を $ 1 $ 行に出力してください。

### 制約 - $ 1\le\ N\le\ 32 $ - $ 1\le\ K\le\ min(N,\ 6) $ - $ 1\le\ A_i\le\ 10^8 $ - 入力はすべて整数 ### Sample Explanation 1 $ 1 $ つめの商品と $ 2 $ つめの商品を購入すると合計金額は $ 54 $ 円で、$ 50 $ 円硬貨 $ 1 $ 枚と $ 1 $ 円硬貨 $ 4 $ 枚の合計 $ 5 $ 枚で支払うことができます。この場合が最小です。