N, X = (int(x) for x in input().split())
A = sorted((int(x) for x in input().split()), key=lambda a: min(a, a ^ X))
if all(A[i] < (A[i + 1] ^ X) and (A[i] ^ X) < A[i + 1] for i in range(N - 1)):
    print("Yes")
else:
    print("No")