A, B = gets.split.map(&:to_i)

def f(n, k)
  50 * n + Rational(500 * n, 8 + 2 * k).floor
end

puts f(A, B)