v = gets.split.map(&:to_i).sort
puts v[0] + 1 == v[1] && v[1] + 1 == v[2] && v[2] + 1 == v[3] ? "Yes" : "No"