A,B,C,D = sorted(map(int, input().split()))

print('Yes' if A+1 == B and B+1 == C and C+1 == D else 'No')