A = gets.split.map(&:to_i).sort
puts A == (A.first..A.first + 3).to_a ? "Yes" : "No"