l = sorted(list(map(int,input().split())))
for i in range(3):
    if l[i] + 1 != l[i + 1]:
        print('No')
        exit(0)
print('Yes')