inputer =input()
inputer_s =inputer.split(" ")
num_list = [int(i) for i in list(inputer_s)]
num_list.sort()
count_time = 0
result=0

while count_time <4:
	if count_time >0:
		if num_list[count_time]-tmp_d==1:
			result=result+1
	tmp_d=num_list[count_time]
	count_time=count_time+1

if result ==3:
	print("Yes")
else:
	print("No")