{-# OPTIONS_GHC -O #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ViewPatterns #-}

import Control.Monad
import Data.List
import Data.Char

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