let R() =stdin.ReadLine()

let f n k = 50 * n + (250 * n) / (4 + k)

let a,b = let t = R().Split() |> Array.map int in t.[0], t.[1]

f a b |> stdout.WriteLine