a, b = gets.chomp.split(" ").map(&:to_i)
right = 50 * a
left = (right*10/(8+2*b))
puts right + left