N, X = map(int, input().split())
A = list(map(int, input().split()))

S = set()
for a in A:
    S.add(a&(~X))
if len(S) < N:
    exit(print("No"))

S = sorted(A, key=lambda x:x&(~X))
for i in range(N-1):
    if not (S[i] < S[i+1]^X and S[i]^X < S[i+1]):
        print("No")
        break
else:
    print("Yes")