--TLEになるが、WAは出ないと思う
--セグ木の要領で再帰的に実装すると解けそう
christmas :: Int -> String
christmas 0 = "P"
christmas n = "B" ++ christmas (n-1) ++ "P" ++ christmas (n-1) ++ "B"

main = do
    l <- getLine
    let (n:k:[]) = map read $ words l :: [Int]
    print (length [x | x <- take k (christmas n), x=='P'])
