a,b,c,d=sorted(map(int,input().split()))
if a!=0 and a+3==b+2==c++1==d:
    print("Yes")
else:print("No")