A, B, C, D = gets.split.map(&:to_i) nums = [A, B, C, D].sort if nums.each_cons(2).all? { |a, b| b - a == 1 } puts 'Yes' else puts 'No' end