#include <bits/stdc++.h>
#include<atcoder/all>
using namespace atcoder;
using namespace std;
using ll=long long;
using ld=long double;
ld pie=3.141592653589793;
ll inf=20000000000000;
ll mod=998244353;
int main(){
    cout << "? 2" << endl;
    ll a,b;
    ll x;
    cin >> x;
    if (x>=2)
    {
        a=x-2;
        cout << "? 100" << endl;
        ll y=a+100;
        ll z;
        cin >> z;
        ll ans=y-z;
        if (ans>100)
        {
            for (ll i = 2; i < 100; i++)
            {
                if (a%i!=0&&ans%i==0)
                {
                    ans/=i;
                    break;
                }
            }
        }
        cout << "! " << a << ' ' << ans << endl;
    }else{
        cout << "? 0" << endl;
        ll a;
        cin >> a;
        for (ll i = a+1; i <100; i++)
        {
            if ((a+2)%i==x)
            {
                cout << "! " << a << ' ' << i << endl;
            }
            
        }
    }
}