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