num = sorted([int(i) for i in input().split(' ')])
if (num[0] + 1 == num[1]) and (num[1] + 1 == num[2]) and (num[2] + 1 == num[3]):
    print('Yes')
else:
    print('No')