let R() =stdin.ReadLine()

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

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

f a b |> stdout.WriteLine