루워터의 용

옛날 옛적, 루워터 왕국에서 사소한 골칫거리 하나가 커다란 문제로 번졌다.

루워터 중심부를 흐르는 렐라우 개울가는 예로부터 거위들의 최고 번식지였다. 천적이 없다 보니 거위 개체 수는 걷잡을 수 없이 불어났다. 루워터 백성들은 대체로 거위를 피해 다녔다. 이따금 거위가 사람을 공격해 손가락 한두 개를 물어뜯기도 했지만, 사람들은 대체로 거위를 사소한 골칫거리로 여기며 참고 지냈다.

그러던 어느 날 기이한 돌연변이가 일어나, 거위 한 마리가 머리가 여럿 달린 불을 뿜는 용을 낳았다. 용은 다 자라자 루워터 왕국을 잿더미로 태워 버리겠다고 위협했다. 왕은 크게 놀라 기사들을 불러 용을 처치하고 왕국을 구하라 명했다.

기사들은 이렇게 설명했다. 용을 처치하려면 용의 머리를 모두 잘라내야 한다. 기사 한 명은 머리 하나만 자를 수 있다. 용의 머리는 저마다 크기가 다르다. 머리를 자르려면 기사의 키가 적어도 그 머리의 지름만큼은 되어야 한다. 머리 하나를 자르는 대가로, 기사에게는 그의 키 1센티미터당 금화 한 닢씩을 지불해야 한다.

미르 공원을 짓느라 이미 큰돈을 잃은 왕은 가능한 한 가장 적은 총비용으로 용을 처치하고자 한다. 왕의 조언자인 당신은, 왕이 몇 명의 어떤 기사를 고용해야 할지 결정하도록 도와야 한다.

입력은 여러 개의 테스트 케이스로 이루어진다.

각 테스트 케이스의 첫 줄에는 두 정수 $n$과 $m$ ($1 \le n, m \le 20000$)이 주어진다. 각각 용의 머리 개수와 왕국의 기사 수이다. 이어지는 $n$개의 줄에는 각각 정수 하나가 주어지며, 이는 용의 머리 지름(센티미터)이다. 그다음 $m$개의 줄에는 각각 정수 하나가 주어지며, 이는 기사의 키(센티미터)이다.

마지막 테스트 케이스 뒤에는 다음 줄이 온다.

0 0

각 테스트 케이스마다, 용을 처치하기 위해 왕이 지불해야 하는 금화의 최소 개수를 한 줄에 출력한다. 만약 루워터의 기사들이 용을 처치할 수 없다면, 다음 줄을 출력한다.

Loowater is doomed!