#include <bits/stdc++.h>
using namespace std;
int main() {
  int a[6] = {4, 8, 15, 16, 23, 42};
  int q, w, e, r;
  cout << "?"
       << " "
       << "1"
       << " "
       << "2" << endl;
  fflush(stdout);
  cin >> q;
  cout << "?"
       << " "
       << "1"
       << " "
       << "3" << endl;
  fflush(stdout);
  cin >> w;
  cout << "?"
       << " "
       << "4"
       << " "
       << "5" << endl;
  fflush(stdout);
  cin >> e;
  cout << "?"
       << " "
       << "4"
       << " "
       << "6" << endl;
  fflush(stdout);
  cin >> r;
  do {
    if (a[0] * a[1] == q && a[0] * a[2] == w && a[3] * a[4] == e &&
        a[3] * a[5] == r) {
      cout << "!"
           << " " << a[0] << " " << a[1] << " " << a[2] << " " << a[3] << " "
           << a[4] << " " << a[5] << endl;
      break;
    }
  } while (next_permutation(a, a + 6));
}
