A = list(map(int, input().split()))

A.sort()

if A[0] == A[1] - 1 == A[2] - 2 == A[3] - 3:
    
    print('Yes')
    
else:
    
    print('No')