import Control.Applicative
import System.IO

readInt = readLn :: IO Int
readInts = map (read :: String -> Int) . words <$> getLine

main :: IO ()
main = do
  [n,k] <- readInts
  print $ 50 * n + (50 * n * 10 `div` (8 + 2 * k))