Jin Ge Jin Qu hao

(If you smiled when you saw the title, this problem is for you. ^_^)

For those who don't know KTV, see http://en.wikipedia.org/wiki/Karaoke_box.

There is a very popular song called Jin Ge Jin Qu (劲歌金曲). It is a mix of 37 songs, and is extremely long (11 minutes and 18 seconds) [1].

Why is it popular? Suppose you have only 15 seconds left (until your time is up), then you should select another song as soon as possible, because KTV will not crudely stop a song before it ends (people will get frustrated if it does so!). If you select a 2-minute song, you actually get 105 extra seconds! And if you select Jin Ge Jin Qu, you'll get 663 extra seconds!!!

Now you still have some time, but you'd like to make a plan now. You should stick to the following rules:

• Don't sing a song more than once (including Jin Ge Jin Qu).
• For each song of length t, either sing it for exactly t seconds, or don't sing it at all.
• When a song is finished, always immediately start a new song.

Your goal is simple: sing as many songs as possible, and leave KTV as late as possible (since we have rule 3, this also maximizes the total length of all songs we sing) when there are ties.

Input Specification

The first line contains the number of test cases T (T ≤ 100). Each test case begins with two positive integers n and t (1 ≤ n ≤ 50, 1 ≤ t ≤ 10⁹), the number of candidate songs (BESIDES Jin Ge Jin Qu) and the time left (in seconds). The next line contains n positive integers, the lengths of each song, in seconds. Each length will be less than 3 minutes [2]. It is guaranteed that the sum of the lengths of all songs (including Jin Ge Jin Qu) will be strictly larger than t.

Output Specification

For each test case, print the maximum number of songs (including Jin Ge Jin Qu), and the total length of the songs that you'll sing.

Sample Input

1. 2
2. 3 100
3. 60 70 80
4. 3 100
5. 30 69 70

download as text file

Output for Sample Input

1. Case 1: 2 758
2. Case 2: 3 777

download as text file

Explanation

In the first example, the best we can do is to sing the third song (80 seconds), then Jin Ge Jin Qu for another 678 seconds.

In the second example, we sing the first two (30+69=99 seconds). Then we still have one second left, so we can sing Jin Ge Jin Qu for extra 678 seconds. However, if we sing the first and third song instead (30+70=100 seconds), the time is already up (since we only have 100 seconds in total), so we can't sing Jin Ge Jin Qu anymore!

Notes

[1] I know that there are Jin Ge Jin Qu II and III and some other unofficial versions. But in this problem, please forget about them.

[2] I know that most songs are longer than 3 minutes. But don't forget that we could manually “cut” the song after we feel satisfied, before the song ends. So here “length” actually means “length of the part that we want to sing”.