#include <bits/stdc++.h>
#define REP(i, a, n) for(ll i = ((ll) a); i < ((ll) n); i++)
using namespace std;
typedef long long ll;
typedef pair<ll, ll> pll;

ll query(ll x, ll y, ll z) {
  ll ans;
  cout << "? " << x << " " << y << " " << z << endl;
  fflush(stdout);
  cin >> ans;
  return ans;
}

ll queryx(ll x) { return query(x, 0, 0); }
ll queryy(ll y) { return query(0, y, 0); }
ll queryz(ll z) { return query(0, 0, z); }

int main(void) {
  ll lx = -150, rx = 150;
  while(lx + 3 < rx) {
    ll x1 = lx + (rx - lx) / 3;
    ll x2 = lx + (rx - lx) * 2 / 3;
    if(query(x1, 0, 0) <= query(x2, 0, 0)) rx = x2;
    else lx = x1;
  }
  ll x = min({ pll(queryx(lx), lx), pll(queryx(lx + 1), lx + 1), pll(queryx(lx + 2), lx + 2), pll(queryx(lx + 3), lx + 3) }).second;

  ll ly = -150, ry = 150;
  while(ly + 3 < ry) {
    ll y1 = ly + (ry - ly) / 3;
    ll y2 = ly + (ry - ly) * 2 / 3;
    if(query(0, y1, 0) <= query(0, y2, 0)) ry = y2;
    else ly = y1;
  }
  ll y = min({ pll(queryy(ly), ly), pll(queryy(ly + 1), ly + 1), pll(queryy(ly + 2), ly + 2), pll(queryy(ly + 3), ly + 3) }).second;

  ll lz = -150, rz = 150;
  while(lz + 3 < rz) {
    ll z1 = lz + (rz - lz) / 3;
    ll z2 = lz + (rz - lz) * 2 / 3;
    if(query(0, 0, z1) <= query(0, 0, z2)) rz = z2;
    else lz = z1;
  }
  ll z = min({ pll(queryz(lz), lz), pll(queryz(lz + 1), lz + 1), pll(queryz(lz + 2), lz + 2), pll(queryz(lz + 3), lz + 3) }).second;

  cout << "! " << x << " " << y << " " << z << endl;
}