#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int i=0;i<(int)(n);++i)


int main(){
    cin.tie(0)->sync_with_stdio(0);
    
    cout<<"? "<<-3000<<endl;
    int X;
    cin>>X;
    cout<<"! "<<-3000+X<<endl;
}