def main():
    A = [int(i) for i in input().split()]
    A.sort()
    for i in range(1, 4):
        if A[i-1] + 1 != A[i]:
            return print("No")
    print("Yes")


if __name__ == '__main__':
    main()