import Control.Applicative ((<$>))

main :: IO ()
main = do
  solve <$> map read . words <$> getLine >>= print

solve :: [Int] -> Int
solve [n, k] = 50 * n + 250 * n `div` (4 + k)