A = list(map(int,input().split()))
A.sort()
if A[1] - A[0] == 1 and A[2] - A[1] == 1 and A[3] - A[2] == 1:
	print("Yes")
else:
	print("No")