# coding : utf-8

ABCD = gets.split(' ').map{|s| s.to_i }.sort

ans = true
ABCD.each_cons(2){|l, r| ans = ans && (l + 1 == r)}

if ans then
  puts "Yes"
else
  puts "No"
end