a = gets.split.map(&:to_i).sort
puts (a[0]+1 == a[1] && a[1]+1 == a[2] && a[2]+1 == a[3] ? "Yes" : "No")