a=[int(a) for a in input().split()]
a=sorted(a)
flg=True
for i in range(1,len(a)):
	if a[i]-a[i-1]!=1:
		flg=False
if flg:
	print("Yes")
else:
	print("No")