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