number = [int(x) for x in input().split()]

number = sorted(number)

if number[0] + 3 == number[1] + 2 == number[2] + 1 == number[3]:
    print("Yes")
else:print("No")