N = sorted([int(i) for i in input().strip().split(' ')])
lst = list(set([y - x for x, y in zip(N, N[1:])]))
print(['No', 'Yes'][len(lst) == 1 and lst[0] == 1])