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