在某游戏中，你选择的角色是牧师。

你有一种一费卡片叫做疯狂药水，这张卡片的效果是将一个敌方场上攻击小于等于2的随从拉到自己的战场内。

还有一种四费卡片叫做暗影狂乱，这张卡片的效果是将一个敌方场上攻击小于等于3的随从拉到自己的战场内。

还有一种一费卡片叫做缩小药水，这张卡片的效果是将敌人全场的随从攻击力下降3点。

（一费表示使用这张卡片要消耗1点法力水晶）

现在你的对手场上有n个随从，每个随从的攻击力是k_i点，你的对手有m点血量。

你有无数张的这三种卡片，但你方没有随从，而你现在要做的就是将敌方的场上的随从拉过来自己的场上并攻击对手（每一个随从只能攻击一次，攻击力为你拉过来的时候随从剩余的攻击力）。所以你想要通过运用这三种卡片，在使用最少的缩小药水的情况下，将对面的血量打到0点及以下。

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

第二行n个整数每两个整数之间用一个空格隔开，分别代表敌方场上每一个随从的攻击力k_i。

对于20%的数据，保证 0 < n <= 10 并且不存在用到暗影狂乱和缩小药水的情况。

对于另20%的数据，保证 0 < n <= 10 并且不存在用到缩小药水的情况。

对于另30%的数据，保证 0 < n <= 10。

对于100%的数据，保证 0 < n <= 5000000, 1 <= k_i <= 30000, 0 < m <= 5000000 。

如果可以将对面的血量打到0点及以下，则输出最少使用的缩小药水的数量和此时使用的法力水晶，两个数据之间用一个空格隔开（如果有多个答案则输出消耗法力水晶最少的答案）。

否则输出“Defeat”（没有双引号）

样例说明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点伤害，刚好能将对面的血量打到0点。