a, b, c, d = map(int, input().split())
l = [a, b, c, d]
l.sort()
for i in range(3):
    if l[i+1]-l[i] != 1:
        print('No')
        exit()
else:
    print('Yes')