감자 가게 두 곳

감자를 파는 가게를 두 곳 연다. 감자는 농부 $N$명에게서 사 온다. 농부 $i$는 감자 $a_i$개가 든 자루 하나를 값 $c_i$에 판다. 자루는 모두 사들이고, 각 자루를 통째로 두 가게 중 한 곳에 넣는다.

첫 번째 가게의 감자 평균 가격을 $P_1$, 두 번째 가게의 감자 평균 가격을 $P_2$라고 하자. 한 가게의 감자 평균 가격은 그 가게에 있는 자루 값의 합을 그 가게에 있는 감자 개수의 합으로 나눈 값이다. 물류 사정과 재고를 고려해 $P_1$과 $P_2$의 곱을 가장 작게 만들려고 한다.

자루를 나눈 결과에서 두 가게 중 적어도 한 곳에는 자루가 정확히 $L$개 있어야 한다.

첫째 줄에 자루의 개수 $N$과, 두 가게 중 적어도 한 곳에 들어가야 하는 자루의 개수 $L$이 주어진다. ($2 \le N \le 100$, $1 \le L < N$)

둘째 줄에 $N$개의 정수 $a_i$가 공백으로 구분되어 주어진다. ($1 \le a_i \le 100$)

셋째 줄에 $N$개의 정수 $c_i$가 공백으로 구분되어 주어진다. ($1 \le c_i \le 1\,000\,000$)

$a_i$의 합은 500 이하이다.

$P_1$과 $P_2$의 곱의 최솟값을 소수점 아래 셋째 자리까지 한 줄에 출력한다. 소수점 아래 넷째 자리에서 반올림하고, 모자라는 자리는 0으로 채워 소수점 아래를 항상 세 자리로 출력한다.