a, b, c, d = gets.split.map(&:to_i).sort

puts b == a + 1 && c == b + 1 && d == c + 1 ? :Yes : :No