a, b, c, d = map(int, input().split())
arr = [a, b, c, d]
arr.sort()
if arr[0] + 1 == arr[1]:
    if arr[1] + 1 == arr[2]:
        if arr[2] + 1 == arr[3]:
            print('Yes')
            exit()
print('No')