肮脏的牧师

题目背景

@Yumis 出题人在这里哦~

题目描述

Yumis最近在玩炉石传说。 在炉石传说中脏牧有一张一费卡片(一费就是使用要消耗1点法力水晶),叫做疯狂药水,这个的效果是将一个敌方场上攻击小于等于2的随从拉到自己的战场内。 还有一张四费卡片叫做暗影狂乱,这个的效果是将一个敌方场上攻击小于等于3的随从拉到自己的战场内。 还有一张一费卡片就是缩小药水,这个的效果是将敌人全场的随从攻击力下降3点。 你PY了炉石的GM所以你有了无数张的这三种卡片,但是GM告诉你缩小药水是这个牌比较不好创建,为了为GM着想你必须在使用**最少的缩小药水**的情况下A爆对手的脸。 现在你的对手场上有n个随从,每个随从的攻击力是ki点。 你的对手有m点血量。 而你现在要做的就是将敌方的场上的随从拉过来自己的场上并攻击对手(每一个随从只能攻击一次,攻击力为你拉过来的时候随从剩余的攻击力),A爆对面的脸(将对面的血打到0点及以下)。

输入输出格式

输入格式


第一行用一个空格隔开的两个整数n,m分别代表敌方场上的随从数量和你对手的血量。 第二行n个整数每两个整数之间用一个空格隔开,分别代表敌方场上每一个随从的攻击力ki。

输出格式


一行如果可以A爆则输出**最少使用的缩小药水的数量**和此时使用的法力水晶,两个数据之间用一个空格隔开(如果有多个答案则输出消耗法力水晶最少的答案)。 否则输出“Human Cannot Win Dog”(没有双引号)

输入输出样例

输入样例 #1

3 5
1 2 3 

输出样例 #1

0 5

输入样例 #2

8 8
10 20 30 40 50 60 70 80

输出样例 #2

16 23

输入样例 #3

8 80
10 20 30 40 50 60 70 80

输出样例 #3

Human Cannot Win Dog

说明

样例说明1: 敌方场上有3只随从,敌方有5点血量 我们把3攻随从和2攻随从拉过来花费0个缩小药水和5点耗费(一张疯狂药水一个暗影狂乱(1+4 = 5))伤害足够击杀对方。 样例说明2: 使用16个缩小药水(下面数据后面第一个括号指拉过来的时候伤害为多高 ,第二个括号表示拉过来的时候使用多少的缩小药水) 拿10(1)(3)、20(2)(6)、30(3)(9)、50(2)(16)攻的怪物总共造成8点伤害 刚好A爆! Easy : 保证 0 < n <= 10 并且不存在用到暗影狂乱和缩小药水的情况 20% Normal :保证 0 < n <= 10 并且不存在用到缩小药水的情况 20% Hard :保证 0 < n <= 10 30% Extra:保证0 <= n <= 5000000(6个0),最大攻击力小于30000 30% 保证 0 < n <= 5000000 0 < ki <=30000 0<=m<=5000000 (6个0)