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

int main(){
    cin.tie(0);
    ios::sync_with_stdio(0);
    
    int MAX = 150;
    auto f = [](int x, int y, int z) {
        cout << "?" << " " << x << " " << y << " " << z << endl;
        cout.flush();
        int D; cin >> D;
        return D;
    };

    int L = -MAX, R = +MAX;
    while(R - L > 2) {
        int cL = (L + L + R) / 3;
        int cR = (L + R + R) / 3;
        if(f(cL, 0, 0) > f(cR, 0, 0))
            L = cL;
        else
            R = cR;
    }

    int X = (L + R) / 2;
    L = -MAX, R = +MAX;
    while(R - L > 2) {
        int cL = (L + L + R) / 3;
        int cR = (L + R + R) / 3;
        if(f(X, cL, 0) > f(X, cR, 0))
            L = cL;
        else
            R = cR;
    }
    int Y = (L + R) / 2;
    L = -MAX, R = +MAX;
    while(R - L > 2) {
        int cL = (L + L + R) / 3;
        int cR = (L + R + R) / 3;
        if(f(X, Y, cL) > f(X, Y, cR))
            L = cL;
        else
            R = cR;
    }
    int Z = (L + R) / 2;
    cout << "!" << " " << X << " " << Y << " " << Z << endl;
}