n, k = gets.chomp.split.map(&:to_i)

puts 50 * n + ((250 * n) / (4 + k))