题目描述

你的王国里有一条有 $n$ 个头的恶龙，你希望雇一些骑士把它杀死（即砍掉所有的头）。

村里有 $m$ 个骑士可以雇佣，一个能力值为 $x$ 的骑士可以砍掉恶龙一个直径不超过 $x$ 的头，且需要支付 $x$ 个金币。

如何雇佣骑士才能砍掉恶龙的所有头，且需要支付的金币最少？注意，一个骑士只能砍一个龙头，且不能被雇佣两次。

输入格式

对于每组测试数据输出最少花费，占用一行，如果无解，输出“Loowater is doomed!”。

输出格式

第 $1$ 行输出满足条件的数的总和是多少。

第 $2$ 行输出满足条件的数有多少个。

样例数据

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$，龙头的直径和骑士的能力值都不会超过 $10000$。