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