t = list(map(int, input().split()))
t.sort()
if t[1] - t[0] == t[2] - t[1] == t[3] - t[2] == 1:
    print('Yes')
else:
    print('No')