import sys
input = sys.stdin.readline

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

from functools import cmp_to_key
def cmp(a,b):
    return -1 if min(a,a^X)<min(b,b^X) else 1

As = sorted(A, key=cmp_to_key(cmp))
ng=0
for i in range(1,N):
    if As[i-1]^X >= As[i]:
        ng=1
        print(i,As[i-1]^X , As[i])
print("Yes" if ng==0 and len(set(A))==N else "No")