a = gets.split.map(&:to_i).sort
puts (a == (a[0]...a[0]+4).to_a ? :Yes : :No)