def lscan; gets.split.map(&:to_i); end

a,b,c,d = lscan.sort
if a+1 == b && b+1 == c && c+1 == d
  puts 'Yes'
else
  puts 'No'
end