#include<bits/stdc++.h>
#include<atcoder/all>
#ifdef LOCAL
#include <debug_print.hpp>
#define debug(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__)
#else
#define debug(...) (static_cast<void>(0))
#endif
using namespace atcoder;
using mint=modint1000000007;
using namespace std;
using ll=long long;
using ul=unsigned long long;
int dx[8] = {1, 0, -1, 0, -1, -1, 1, 1};
int dy[8] = {0, 1, 0, -1, -1, 1, -1, 1};
using Graph=vector<vector<int>>;
using S = long long;
using F = long long;

const S INF = 8e18;
const F ID=8e18;
S op(S a, S b){ return std::max(a, b); }
S e(){ return 0; }
S mapping(F f, S x){ return (f==ID?x:f); }
F composition(F f, F g){ return (f==ID?g:f); }
F id(){ return ID; }
int main(){
    cout<<"? "<<0<<endl;
    ll b;
    cin>>b;
    cout<<"? "<<1<<endl;
    ll c;
    cin>>c;
    ll a=c-b;
    cout<<"! "<<a<<" "<<b<<endl;
}