#P005840. 年货采购

年货采购

题目描述

需要购买 NN 件商品,第 ii 件商品的原价为 AiA_i 元。现有 MM 张优惠券,每张优惠券可以用于任意一件商品,使这件商品的当前价格变为原价格除以 22 后向下取整的结果。同一件商品可以使用多张优惠券。

请计算购买全部商品所需的最少总金额。

输入格式

第一行包含两个整数 N,MN,M

第二行包含 NN 个整数 A1,A2,,ANA_1,A_2,\ldots,A_N

输出格式

输出一个整数,表示购买全部商品所需的最少总金额。

样例

3 3
2 8 13
9

样例解释

将三张优惠券分别用于价格为 1313 元、88 元和折后价格为 66 元的商品,最终三件商品的价格分别为 22 元、44 元和 33 元,总金额为 99 元。

数据范围与提示

  • 1N,M1051 \le N,M \le 10^5
  • 1Ai1091 \le A_i \le 10^9