void main(){
  import std.stdio, std.string, std.conv, std.algorithm;

  int ask(int x, int y, int z){
    writeln("? ", x, " ", y, " ", z);
    stdout.flush();
    auto d=readln.chomp.to!(int);
    return d;
  }
  void answer(int x, int y, int z){
    writeln("! ", x, " ", y, " ", z);
  }

  int x, y, z;
  int l=-150, r=150;
  while(r-l>1){
    auto m=(r+l)/2;
    auto dif=ask(m, y, z)-ask(m-1, y, z);
    dif<0 ? l : r = m;
  }
  x=l;
  l=-150, r=150;
  while(r-l>1){
    auto m=(r+l)/2;
    auto dif=ask(x, m, z)-ask(x, m-1, z);
    dif<0 ? l : r = m;
  }
  y=l;
  l=-150, r=150;
  while(r-l>1){
    auto m=(r+l)/2;
    auto dif=ask(x, y, m)-ask(x, y, m-1);
    dif<0 ? l : r = m;
  }
  z=l;

  answer(x, y, z);
}

void rd(T...)(ref T x){
  import std.stdio, std.string, std.conv;
  auto l=readln.split;
  assert(l.length==x.length);
  foreach(i, ref e; x){
    e=l[i].to!(typeof(e));
  }
}