猪猪侠的字符串

现在我们有一个字符串，它具有颜值，它的颜值程度为: 在 1<= i <= n/2的范围内, S_i ≠ S_N-i+1的数量(下标从1开始)

例如：字符串AABBCC的颜值为 2, 因为它的s₁≠s_6,s₂≠s_5,s₃=s_{4,所以它的颜值为2}

猪猪侠是一个强迫症，他手中现在有一个字符串，cdw给了翔弟一个能力，让猪猪侠能将字符串中任意一个字符转换为其他字符

猪猪侠想让这个字符串变成k帅的字符串,但是翔弟很懒，他只想用最少的次数来将字符串变成k帅字符串，

可他又不会，只好来求助聪明的你了。

注 ：字符串只会出现大写字母(无空格)

第一行包含一个整数t(1 <= t <= 100)，表示有t组数据

每组数据第一行包含两个整数n(1 <= n <= 100)，k(0 <= k <= n/2)

第二行包含一个长度为n的字符串

每组数据输出一个结果，每个结果占一行

结果表示为Case #x: y，其中x为每个组的组别编号（x从1开始），y为zzx的最少能力使用次数

2
5 1
AABCC
5 2
BCBCB

Case #1: 1
Case #2: 2