N, S = gets.split.map(&:to_i)
puts ((25 .. 29 * N) === S) ? "Yes" : "No"