eval"A="+gets.split*?,
puts A.sort==[*A.min..A.min+3]?:Yes:"No"