#include <bits/stdc++.h>
using namespace std;
#define REP(i,a,n) for(int i=(a); i<(int)(n); i++)
#define rep(i,n) REP(i,0,n)
#define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it)
#define ALLOF(c) (c).begin(), (c).end()
typedef long long ll;
typedef unsigned long long ull;

int ask(int x, int y, int z) {
	int d;
	cout << "?" << " " << x << " " << y << " " << z << endl;
	cin >> d;
	return d;
}
void answer(int x, int y, int z) {
	cout << "!" << " " << x << " " << y << " " << z << endl;
}

int main(){
  int MN = -110;
  int MX = 110;
  
  int x, y, z;
  {
    double l=MN, r=MX;
    int lbd = ask(l, MN, MN);
    int ubd = ask(r, MN, MN);
    while(true){
      double a = (l+l+r)/3;
      double b = (l+r+r)/3;
      if((int)a == (int)b){
        x = (int)a;
        break;
      }
      if(ask(a,MN,MN)<ask(b,MN,MN)) r = b;
      else l = a;
    }
  }
  {
    double l=MN, r=MX;
    int lbd = ask(MN, l, MN);
    int ubd = ask(MN, r, MN);
    while(true){
      double a = (l+l+r)/3;
      double b = (l+r+r)/3;
      if((int)a == (int)b){
        y = (int)a;
        break;
      }
      if(ask(MN,a,MN)<ask(MN,b,MN)) r = b;
      else l = a;
    }
  }
  {
    double l=MN, r=MX;
    int lbd = ask(MN, MN, l);
    int ubd = ask(MN, MN, r);
    while(true){
      double a = (l+l+r)/3;
      double b = (l+r+r)/3;
      if((int)a == (int)b){
        z = (int)a;
        break;
      }
      if(ask(MN,MN,a)<ask(MN,MN,b)) r = b;
      else l = a;
    }
  }
  
  answer(x,y,z);
  return 0;
}