import Control.Applicative
import Control.Monad
import Data.List
import Data.Array
import Data.Char

main = do
  [n, m] <- map (read::String -> Int) . words <$> getLine
  print $ ((n - m) * 100 + m * 1900) * (2 ^ m)

