#define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
#include <atcoder/dsu>
#include <atcoder/segtree>
using namespace atcoder;
using namespace std;
typedef long long ll;
#define rep(i,a,b) for(int i=a;i<b;i++)
using vi = vector<int>; 
using vvi = vector<vi>; 
using li =vector<ll>;
using lli=vector<li>;
using si =vector<char>;
using ssi =vector<si>;
const long long INF = 1e18;
const long long MOD=1e9+7;
int main() { int n;cin>>n;
cout<<"? "<<n<<endl;
int a;cin>>a;
int ok=n+1,ng=1;
rep(i,0,9){
	int mid=(ok+ng)/2;
	cout<<"? "<<mid<<endl;
	int b;cin>>b;
	if(b==a)ok=mid;
	else ng=mid;
	if(i==8&&b==a)cout<<"No"<<endl;
	else if(i==8&&b!=a)cout<<"Yes "<<ng<<" "<<ng+1<<endl;
}
}