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