#include using namespace std; //#include //using namespace atcoder; using ll=long long; using Graph=vector>; #define MOD 1000000007 #define INF 1000000000 #define MAX 500000 int main(){ int N,X; cin>>N>>X; vector C(N); bool flag=false; for(int i=0;i>C[i]; if(C[i]==X){ flag=true; } } sort(C.begin(),C.end()); if(flag==true){ cout<<"Yes"<