SP31557 HALCAND - Halum and Candies

Halum 被选为学校足球队的队长。为了庆祝，他决定举办一个派对，并购买了 $N$ 种不同口味的糖果。每种糖果的数量分别为 $a_1, a_2, \ldots, a_N$。想要让一位客人满意，Halum 需要至少给这位客人 $K$ 种不同口味的糖果，并且每种口味都至少要有一颗。不满足这个条件的客人将会不高兴。你需要根据这些信息，计算 Halum 能够让多少位客人满意。

第一行输入一个整数 $T$，表示有 $T$ 个测试用例。 对于接下来的每一个测试用例，第一行有两个整数 $N$ 和 $K$，分别表示糖果的种类数以及至少需要的糖果种类数。 第二行包含 $N$ 个整数，代表每种口味糖果的数量，即 $a_1, a_2, \ldots, a_N$。

对于每个测试用例，输出格式为 "Case X: Y"。其中，$X$ 是测试用例编号，从 $1$ 开始，$Y$ 是 Halum 能让多少客人满意的最大数量。 **本翻译由 AI 自动生成**