题目描述

你的王国里有一条 $n$ 个头的恶龙，你希望雇一些骑士把它杀死（即砍掉所有的头）。村里有 $m$ 个骑士可以雇佣，一个能力值为 $x$ 的骑士可以砍掉恶龙一个直径不超过 $x$ 的头，且需要支付 $x$ 个金币。如何雇佣骑士才能砍掉恶龙所有的头，而且需要支付的金币最少？注意，一个骑士只能砍一个头。

输入格式

输入包含多组数据。

每组数据的第一行为正整数 $n$ 和 $m$。

之后 $n$ 行每行为一个整数，即恶龙每个头的直径。

之后 $m$ 行每行为一个整数，即每个骑士的能力。输入结束标志为 $n=m=0$。

输出格式

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

样例输入输出

样例输入

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

样例输出

11
Loowater is doomed!

数据范围

对于 $100%$ 的数据，保证 $1 \le n,m \le 20000$。