a=list(map(int,input().split()))

if max(a)-min(a)==3:
    print('Yes')
else:
    print('No')