Scanf.scanf "%d %d" (fun n k ->
    Printf.printf "%d\n" @@ 50 * n + (500 * n / (8 + 2 * k))
)