Problem1001--勇者斗腹龙

1001: 勇者斗腹龙

[Creator : ]
Time Limit : 1 sec  Memory Limit : 128 MB

Description

你的王国里有一条n个头的腹龙,你希望雇一些骑士把它杀死(即砍掉所有头)。国内里有m个战士可以雇佣,一个能力值为x的战士可以砍掉腹龙一个直径不超过x的头,且需要支付x个金币。如何雇佣战士才能砍掉腹龙的所有头,且需要支付的金币最少?注意,一个站士只能砍掉一个头(且不能被雇佣两次)。

Input

输入包含多组数据。每组数据的第一行为正整数n和m(1<=n,m<=20 000);以下n行每行为一个整数,即腹龙每个头的直径;以下m行每行一个整数,即每个战士的能力。

输入结束标志为n=m=0。

Output

对于每组数据,输出最少花费。如果无解,输出“Loowater is doomed!”。

Sample Input Copy

2 3
5
4
7
8
4
2 1
5
5
10
0 0

Sample Output Copy

11
Loowater is doomed!

Source/Category