import Control.Monad
import Control.Applicative
import Data.List
import Data.Array
strToInt s = (read :: String -> Int) s

main = do
    [n,m] <- (map read . words) <$> getLine
    
    let ans = ((1900 * m) + (100 * (n-m)) ) * ([1,2,4,8,16,32] !! m)
    print ans