#pragma GCC target("avx2")
#pragma GCC optimize("03")
#pragma GCC optimize("unroll-loops")
#include <bits/stdc++.h>
using namespace std; typedef long double ld; typedef long long ll;
typedef unsigned long long ull;
#define endl "\n"
#define FOR(i,a,b) for(int i=(a);i<=(b);i++)
#define rep(i,n) for(int i=0;i<(n);i++)
#define PII pair<int, int>
#define PLL pair<ll, ll>
#define ALL(x) (x).begin(), (x).end()
constexpr int INF=1<<31; constexpr ll LINF=1LL<<60; constexpr ll mod=1e9+7; constexpr int NIL = -1;
template<class T>inline bool chmax(T &a, const T &b) { if (a<b) { a = b; return 1; } return 0; }
template<class T>inline bool chmin(T &a, const T &b) { if (b<a) { a = b; return 1; } return 0; }
template<class T>inline int popcount(T a) {return __builtin_popcount(a);}
template<class T>inline T emod(T a, T p) { return (a%p + p) % p;}
//-------------------
ll ask(ll x, int i) {
    vector<ll> v(3, 0);
    v[i] = x;
	cout << "?" << " " << v[0] << " " << v[1] << " " << v[2] << endl;
	ll d;
    cin >> d; return d;
}

// 回答クエリ
void answer(ll x, ll y, ll z) {
	cout << "!" << " " << x << " " << y << " " << z << endl;
}

int main() {
    //cin.tie(0); //ios::sync_with_stdio(false); cout << fixed << setprecision(15);

    auto f = [](int i) {
        ll left = -100; 
        ll right = 100;
        while(right-left > 2) {
            ll c1 = left + (right-left)/3;
            ll c2 = right - (right-left)/3;
            ll dc1 = ask(c1, i);
            ll dc2 = ask(c2, i);
            if(dc1 < dc2) right = c2;
            else left = c1;  
        }
        ll dist = ask(right, i); 
        ll ans = right;
        for(ll x=left; x<right; x++) {
            if(chmin(dist, ask(x, i))) ans = x;
        }
        return ans;
    }; 
     
    vector<ll> v(3,0);
    rep(i,3) {
        v[i] = f(i);
    } 
    answer(v[0], v[1], v[2]);
    return 0;
}