题目描述

从前，在 Loowater 王国，一场小麻烦变成了一个大问题。Loowater 中部的 Rellau 溪岸一直是大雁繁殖的理想之地。由于缺乏天敌，大雁的数量失控。Loowater 的人民大多远离大雁。偶尔会有一只大雁袭击人们，可能会咬掉一两个手指，但总的来说，人民把大雁当作一个小麻烦忍受着。

有一天，一次奇怪的变异发生了，一只大雁产下了一条多头的喷火龙。当这条龙长大后，它威胁要把 Loowater 王国烧成灰烬。Loowater 遇到了一个大问题。国王十分惊恐，召集他的骑士们去屠龙，拯救王国。

骑士们解释道：“要屠龙，我们必须砍下它所有的头。每个骑士只能砍掉龙的一个头。龙的头大小不一。为了砍掉一个头，骑士必须至少和龙头的直径一样高。骑士工会要求，砍掉一个头的骑士必须得到相当于其身高每厘米一枚金币的报酬。”

有足够的骑士来打败这条龙吗？国王召集他的顾问们来帮他决定该雇佣多少骑士以及选择哪些骑士。在花费大量金钱建造米尔公园后，国王想要将屠龙的开支降到最低。作为顾问之一，你的任务是帮助国王。你非常认真地对待这个任务：如果失败了，你和整个王国都将被烧成灰烬！

输入格式

输入包含多个测试用例。每个测试用例的第一行包含两个介于 $1$ 和 $20000$ 之间（包括 $1$ 和 $20000$）的整数，分别表示龙的头数 $n$ 和王国中骑士的数量 $m$。接下来的 $n$ 行每行包含一个整数，给出龙头的直径，单位为厘米。接下来的 $m$ 行每行包含一个整数，指定卢沃特骑士的身高，单位为厘米。

输入的最后一个测试用例之后，接着一行 $\texttt{0 0}$ 表示输入结束。

输出格式

对于每个测试用例，输出一行，包含国王需要支付的最少金币数量来屠龙。如果卢沃特的骑士无法屠龙，输出 $\texttt{Loowater is doomed!}$。

输入输出样例 #1

输入 #1

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

输出 #1

11
Loowater is doomed!