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