a, b, c, d = sorted(map(int, input().split()))
if(b==a+1 and c==b+1 and d==c+1):
    print("Yes")
else:
    print("No")