#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#include <bits/stdc++.h>
using namespace std;
#define int long long
signed main(){
  int N,K;
  cin>>N>>K;
  vector<int> S(N);
  for(int i=0;i<N;i++) cin>>S[i];
  for(int i=0;i<N;i++){
      int now = 0;
      for(int j=i;j<N;j++){
          now ^= S[j];
          if(now == K){
              cout<<"Yes"<<endl;
              return 0;
          }
      }
  }
  cout<<"No"<<endl;
}