a = list(map(int,input().split()))
a.sort()
print("Yes" if a[0]+3==a[1]+2==a[2]+1==a[3] else "No")