*abcd, = map(int, input().split())
abcd.sort()

if abcd[0] == abcd[1] - 1 == abcd[2] - 2 == abcd[3] - 3:
    print('Yes')
else:
    print('No')