*A,=map(int, input().split())
A.sort()
ans = True
if A[0]+1!=A[1]: ans=False
if A[1]+1!=A[2]: ans=False
if A[2]+1!=A[3]: ans=False
print('Yes' if ans else 'No')