你刚刚在 Google Code Jam Africa 2010 的资格赛（Qualification Round）中晋级，你想知道有多少人和你一起晋级了。为了给自己增加一点挑战，你决定只通过看每道题有多少人解决来计算。

资格赛共包含 $P$ 道题；第 $i$ 道题被 $S_i$ 名参赛者完全解决。参赛者需要解决至少 $C$ 道题才能晋级到下一轮。你的任务是仅根据这些信息，计算出最多可能有多少名参赛者晋级。

输入格式

输入的第一行给出测试用例的数量 $T$。接下来有 $T$ 行。每行仅包含空格分隔的整数：首先是 $P$，然后是 $C$，接着是 $P$ 个整数 $S_0 \dots S_{P-1}$。

输出格式

对于每个测试用例，输出一行，格式为 Case #x: y，其中 x 是测试用例编号（从 1 开始），y 是最多可能晋级的参赛者人数（换句话说，即最多可能有多少名参赛者解决了至少 $C$ 道题）。

数据范围

• $1 \le T \le 100$
• $1 \le C \le P$

小数据规模（11 分）

• $1 \le P \le 6$
• $0 \le S_i \le 1000$

大数据规模（22 分）

• $1 \le P \le 60$
• $0 \le S_i \le 10^{17}$

样例

输入样例 1

2
2 2 73 100
3 2 245 272 238

输出样例 1

Case #1: 73
Case #2: 377