a=gets.split.map(&:to_i)
puts a.sort==[*a.min..a.min+3]?:Yes : :No