main = do
 [a,b] <- map read . words <$> getLine :: IO [Double]
 print (score a b)

score n k = floor (50 * n) + floor ((50*n) / (0.8+0.2*k))