a,b,c,d = gets.split.map(&:to_i).sort
puts a + 1 == b && b + 1 == c && c + 1 == d ? "Yes" : "No"