-- $を使った
-- TLEがWAになるようにした
christmas :: Int -> String
christmas 0 = "P"
christmas n = "B" ++ christmas (n-1) ++ "P" ++ christmas (n-1) ++ "B"

min' :: Int -> Int -> Int
min' x y = if x <= y then x else y

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

