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