print((function (n, k) return 50*n + math.floor(250*n/(4+k)) end)(io.stdin:read("*n"), io.stdin:read("*n")))