a = gets.split(' ')
a = a.map{|ai| ai.to_i}.sort
(0..a.size - 2).each do |i|
	if a[i] + 1 != a[i + 1]
		printf "No\n"
		exit
	end
end
printf "Yes\n"