import Data.Fixed

main :: IO ()
main = do
  [n, k] <- map read . words <$> getLine
  putStrLn . show $ 50 * n + floor (50 * realToFrac n / (0.8 + 0.2 * realToFrac k :: Deci))