#include <bits/stdc++.h>
#include <atcoder/all>
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<int,int> mp;
	int l=0,r=n;
	int ask=0;
	while(r-l>1){
		int md=(l+r)/2;
		assert(ask<10);
		cout<<"? "<<md+1<<endl;
		int res;
		cin>>res;
		mp[md]=res;
		if(md+1>res) r=md;
		else l=md;
		ask++;
	}
	while(ask<10){
		cout<<"? 1"<<endl;
		int res;
		cin>>res;
		ask++;
	}
	cout<<"Yes "<<l+1<<" "<<r+1<<endl;
}