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