a = sorted(list(map(int,input().split())))
if len(set(a)) == 4 and a[3]-a[0]==3:
    print('Yes')
else:
    print('No')