#cpsco2019s1c. [cpsco2019_s1_c]Coins

[cpsco2019_s1_c]Coins

問題文

ある国では 1,10,100,ldots,1091,\\ 10,\\ 100,\\ldots ,10^{9} 円硬貨および 5,50,500,ldots,5times1095,\\ 50,\\ 500,\\ldots ,5\\times 10^{9} 円硬貨の 2020 種類の硬貨が流通しています。

てんぷら君は果物を買いにスーパーマーケットに行きました。そこには NN 種類の果物が 11 つずつ売られており、値段はそれぞれ A1,A2,ldots,ANA_1, A_2,\\ldots, A_N 円です。

てんぷら君はこの中から KK 個を選んで買うことにしました。合計金額をちょうど支払うために必要な硬貨の枚数として考えられる最小の枚数を求めてください。なお、てんぷら君はすべての硬貨を十分たくさん持っているものとします。

制約

  • 1leNle321\\le N\\le 32
  • 1leKlemin(N,6)1\\le K\\le min(N, 6)
  • 1leAile1081\\le A_i\\le 10^8
  • 入力はすべて整数

入力

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

NKN\\ K A1A2ldotsANA_1\\ A_2\\ \\ldots\\ A_N

出力

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


入力例 1

3 2
25 29 62

出力例 1

5

11 つめの商品と 22 つめの商品を購入すると合計金額は 5454 円で、5050 円硬貨 11 枚と 11 円硬貨 44 枚の合計 55 枚で支払うことができます。この場合が最小です。


入力例 2

3 1
10000 2 3

出力例 2

1

11 万円の商品を購入するのが最適です。


入力例 3

10 3
1415 9265 3589 7932 3846 2643 3832 7950 2884 1971

出力例 3

5