a, b, c, d = sorted(list(map(int, input().split())))
if len(set([a,b,c,d])) == 4:
    if a + 3 == d:
        print("Yes")
    else:
        print("No")
else:
    print("No")