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