abcd=gets.split.map(&:to_i).sort
if abcd[0] + 1 == abcd[1] && abcd[1] + 1 == abcd[2] && abcd[2] + 1 == abcd[3]
    puts "Yes"
else
    puts "No"
end