#include<bits/stdc++.h>
#define endl '\n'
using namespace std;
const int N=5e5+5;
int T,n,tot,tag,a[N],sum[N],l,r;
double p;
struct node{
	double a;
	int b;
	bool operator <(const node &o) const{ return a<o.a; }
};
set<node> s;
void update(int L,int R){
    if(l==-1) l=L,r=R;
    else if(fabs((sum[r]-sum[l-1])*1.0/(r-l+1)-p)>fabs((sum[R]-sum[L-1])*1.0/(R-L+1)-p)||(fabs(fabs((sum[r]-sum[l-1])*1.0/(r-l+1)-p)-fabs((sum[R]-sum[L-1])*1.0/(R-L+1)-p))<1e-8&&L<l)) l=L,r=R;
}
int main(){
    ios::sync_with_stdio(false);
    cin.tie(0),cout.tie(0);
    cin>>T;
    while(T--){
        cin>>n>>p,l=r=-1;
        for(int i=1;i<=n;++i){
            char c;
            cin>>c;
            a[i]=(c^'0'),sum[i]=sum[i-1]+a[i];
        }
        s.clear(),tag=0;
        for(int i=1;i<=n;++i){
            s.insert(node({tag+p*(1-i),i}));
            if(a[i]) ++tag;
            auto it=s.lower_bound(node({tag-p*i}));
            if(it!=s.end()) update((*it).b,i);
            if(it!=s.begin()) --it,update((*it).b,i);
        }
        cout<<"Case #"<<++tot<<": "<<l-1<<endl;
    }
    return 0;
}