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

a=set(a)
if max(a)-min(a)==3 and len(a)==4:
    print('Yes')
else:
    print('No')