#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;}
//-------------------
int ask(int x, int i) {
    vector<int> v(3, 0);
    v[i] = x;
	cout << "?" << " " << v[0] << " " << v[1] << " " << v[2] << endl;
	int d;
    cin >> d; return d;
}

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

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

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