A, B, C, D = sorted(map(int, input().split()))
print('Yes' if D - C == C - B == B - A == 1 else 'No')