a, b = gets.chomp.split(' ').map(&:to_f)

puts (50 * a + ((50 * a) / (0.8 + (0.2 * b))).floor).to_i