题目背景

@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