L=list(map(int,input().split()))
L.sort()
F=0
for i in range(1,4):
    if L[i]-L[i-1]!=1:
        F=1
if F==0:
    print("Yes")
else:
    print("No")