A=sorted(map(int,input().split()))
if A[0]==A[1]-1==A[2]-2==A[3]-3:
    print("Yes")
else:
    print("No")