int query(int l, int r){
    queryCount++; // counts the number of queries currently done
    curQueries++; // counts the number of queries for each k value from input
    // there are t k values in total, t<=10^4
    assert(curQueries<=2); 
    // for each k value, number of queries shouldn't be bigger than 2
    // this assert doesn't get me a runtime error
    cout<<"? "<<l<<" "<<r<<endl;
    int x; cin>>x;
    assert(x!= -1); 
    // checks this, because the statement mentions, that otherwise an arbitrary verdict could be displayed
    return x;
}

void solve(){
   // some other code...
    assert(queryCount <= buildQueries);// buildQueries = 4e4
    _for(g, 0, t){ // g[0, t-1] (done t<=10^4 times)
        curQueries = 0; // begin to count curQueries each time
        int tAns = solveGroup(); // here some number of queries is being done
        cout<<"! "<<tAns<<endl;
        setForNextT();
        if(g!= t-1) cin>>K;
    }
    return;
}