항공권 묶음 결제 명세

문제

항공권 예약 서비스의 백엔드는 여러 장의 항공권을 한 번에 결제하는 기능을 제공한다. 결제 요청에는 항공권별 기본 운임과 이번 결제에 사용할 할인권 수가 들어 있다. 결제 담당자는 할인과 세금을 적용한 최종 청구 금액을 계산해야 한다. 한 결제에는 N장의 항공권이 있다. 항공권은 입력된 순서대로 1번부터 N번까지 번호가 붙는다. 각 항공권의 기본 운임은 U에 100원을 곱한 금액이다. 입력에는 원 단위 운임 대신 정수 U가 주어진다. 예를 들어 U가 17이면 기본 운임은 1,700원이다. 할인권은 정확히 K장 사용한다. 한 항공권에는 할인권을 최대 한 장만 적용할 수 있다. 할인권은 기본 운임이 높은 항공권부터 적용한다. 기본 운임이 같으면 번호가 작은 항공권에 먼저 적용한다. K가 0이면 어느 항공권에도 할인권을 적용하지 않는다. 할인권이 적용된 항공권은 기본 운임의 30%를 할인받으며, 적용되지 않은 항공권은 기본 운임을 그대로 낸다. 모든 기본 운임이 100원의 배수이므로 할인 후 운임도 정수 원이다. 세금은 할인 여부가 결정된 뒤 항공권마다 따로 계산한다. 한 항공권의 세금은 그 항공권의 할인 후 운임의 7%를 계산한 다음, 원 미만의 금액이 있으면 올림한 정수 원이다. 따라서 여러 항공권의 운임을 먼저 합친 뒤 세금을 계산해서는 안 된다. 최종 청구 금액은 각 항공권의 할인 후 운임과 세금을 모두 더한 값이다. 별도의 발권 수수료나 다른 할인은 없다. 주어진 결제 요청에 대해 최종 청구 금액을 원 단위 정수로 구한다.

입력

첫째 줄에 정수 N과 K가 공백으로 주어진다. 1 ≤ N ≤ 100,000, 0 ≤ K ≤ N이다.
둘째 줄에 항공권 번호순으로 정수 U_1, U_2, …, U_N이 공백으로 주어진다. 1 ≤ U_i ≤ 99이며 i번 항공권의 기본 운임은 100 × U_i원이다.

출력

최종 청구 금액을 원 단위 정수 하나로 출력한다. 통화 기호나 자릿수 구분 기호는 출력하지 않는다.

3 1
10 20 15

4173

3 2
1 1 1

257

2 0
2 3

535

출처: Devin.KR 자체 제작