a = [int(i) for i in input().split()]
a.sort()
if a[0]==a[1]-1==a[2]-2==a[3]-3:
    print("Yes")
else:
    print("No")