A, B, C, D = map(int, input().split())
l = [A, B, C, D]
l.sort()

if len(set(l)) == 4 and l[-1] - l[0] == 3:
    print('Yes')
else:
    print('No')