测评记录

n,k=map(int,input().split())
s=input()
def ch(g):
    c0=c1=0
    ck=1
    for gx in range(n):
        if s[gx]=='1':
            c1+=1
        else:
            c0+=1
        if c0*c1>g:
            ck+=1
            c0=c1=0
            if s[gx]=='1':
                c1+=1
            else:
                c0+=1
    return ck<=k
l,r=0,int(1e12) #当n=10**6时一半是1一半是0
while l<r:
    mid=(l+r)>>2
    if ch(mid):
        r=mid
    else:
        l=mid+1
print(r)