#include #include using namespace std; using ll = long long; #define rep(i,n) for(int i=0;i<(int)(n);i++) using mint = atcoder::modint998244353; int main(){ int n; cin>>n; map mp; int l=0,r=n; while(r-l>1){ int md=(l+r)/2; cout<<"? "<>res; mp[md]=res; if(md+1>res) r=md; else l=md; } cout<<"Yes "<