Description

五一期间都放假，自来水公司也不例外。小明家附近自来水管道坏了，导致小明家停水了，导致没人来修理。每天小明跟着爸爸一起去楼下送水车接水，但是送水车需要给多个小区送水，不能等长时间，送水师傅希望能过缩短接水的时间，由于每个人手里的桶的大小不相同导致每个人的接水时间不相同，聪明的小明想帮助送水师傅解决这个问题。

1、他知道每个人接水需要的时间。

2、同时只能有一个人接水，正在接水的人和没有接水的人都需要等待。

3、完成接水的人会立刻消失，不会继续等待。

4、小明可以决定所有人接水的顺序，从而最小化所有人等待时间的总和，让送水师傅开心。（请不要考虑是否会出现争吵问题，当然小区的人都是很热心的，因为他们只会在乎自己是否可以接到水，并不会在乎自己的位置是否变化）

n个人一起排队接水，第i个人需要b[i]的时间来接水。1 <= n <= 1000，0 <= b[i] <= 1000。送水师傅规定了一个时间T，他希望在规定时间内完成接水。

Format

Input

第一行一个整数n和T（表示n个人和师傅的规定时间）

接下来n行，每行一个整数表示b[i]

Output

输出小明所能做到的最小化所有人等待时间的总和

如果可以在送水师傅规定时间内完成，师傅会很开心，并说出“Xiao Ming is a genius”，否则师傅只能生气的说出“Why is it so slow”

Samples

3 10
1
2
3

10
Xiao Ming is a genius

3 8
1
2
3

10
Why is it so slow

Hint

对于第一个数据，最小需要的时间为10，所以符合