#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace atcoder; using namespace std; using mint = modint998244353; #define ll long long #define pll pair ll n, remain=10; int main() { cin >> n; ll l = 0, r = n; while(r-l>1 || remain--) { ll m = (r+l)/2; cout << "? " << m+1 << endl; ll res; cin >> res; if(res==m+1) l = m; else r = m; } cout << "Yes " << r << " " << r+1 << endl; }