ls = list(map(int,input().split()))
ls.sort()
ans = 'Yes'
for i in range(1,4):
    if ls[i] != ls[i-1]+1:
        ans = 'No'
print(ans)