import Control.Monad
import Data.Char

main = do
    [n, k] <- map read <$> words <$> getLine
    s      <- getLine
    putStrLn $ show $ solve n k s

solve :: Int -> Int -> String -> Int
solve n k s = doit 1 (replicate (k * 2 + 1) 0) 0 s
  where
    doit d l p []        = length s - head l
    doit 0 l p ('1' : t) = max (p - head l) (doit 1 (l        ++ [p]) (p + 1) t)
    doit 1 l p ('0' : t) = max (p - head l) (doit 0 (drop 2 l ++ [p]) (p + 1) t)
    doit d l p ( _  : t) = doit d l (p + 1) t