Problem D
Convoy

Photo by B137

You and your friends have gathered at your house to prepare for the Big Game, which you all plan to attend in the afternoon at the football stadium across town. The problem: you only have $k$ cars between you, with each car seating five people (including the driver), so you might have to take multiple trips to get all $n$ people to the stadium. In addition, some of your friends know the city better than others, and so take different amounts of time to drive to the stadium from your house. You’d like to procrastinate as long as possible before hitting the road: can you concoct a transportation plan that gets all people to the stadium in the shortest amount of time possible?

More specifically, each person $i$ currently at your house can drive to the stadium in $t_i$ minutes. All $k$ cars are currently parked at your house. Any person can drive any car (so the cars are interchangeable). After a car arrives at the stadium, any person currently at the stadium can immediately start driving back to your house (and it takes person $i$ the same amount of time $t_i$ to drive back as to drive to the stadium), or alternatively, cars can be temporarily or permanently parked at the stadium. Drivers driving to the stadium can take up to four passengers with them, but drivers driving back can NOT take any passenger. You care only about getting all $n$ people from your house to the stadium—you do NOT need to park all $k$ cars at the stadium, if doing so would require more time than an alternative plan that leaves some cars at your house.

Input

The first line of input contains two space-separated integers $n$ and $k$ $(1\le n,k\le 20000)$, the number of people at your house and the number of available cars. Then follow $n$ lines containing a single integer each; the $i$th such integer is the number of seconds $t_i$ $(1\le t_i\le 1000000)$ that it takes person $i$ to drive from your house to the stadium, or vice-versa.

Output

Print the minimum number of seconds it takes to move all $n$ people from your house to the stadium, if all people coordinate and drive optimally.

11 2
12000
9000
4500
10000
12000
11000
12000
18000
10000
9000
12000

13500

6 2
1000
2000
3000
4000
5000
6000

2000