a, b, c, d = map(int,input().split())
ar = [a,b,c,d]
ar.sort()
for i in range(3):
    if ar[i+1] != ar[i] + 1:
        print("No")
        exit()
print("Yes")