line = list(map(int,input().split()))
l = sorted(line)

if ((l[0] + 1) == l[1]) and ((l[1] + 1) == l[2]) and ((l[2] + 1) == l[3]):
    print('Yes')
else:
    print('No')