N,X=map(int,input().split())
A=sorted([((int(x)^X)+int(x),int(x)) for x in input().split()])
for i in range(N-1):
	if A[i][0]==A[i+1][0] or A[i][1]^X>=A[i+1][1] or A[i][1]>=A[i+1][1]^X:
		print("No")
		exit()
print("Yes")