#include <bits/stdc++.h>
using namespace std;
int main() {
  int q = 4;
  std::vector<int> special = {4, 8, 15, 16, 23, 42};
  std::vector<int> v(6, 0);
  for (int i = 0; i < 4; i++) {
    cout << "?"
         << " " << i + 1 << " " << i + 2 << endl;
    cout.flush();
    cin >> v[i];
  }
  do {
    bool test = true;
    for (int i = 0; i < 4; i++)
      test = test & ((special[i] * special[i + 1]) == v[i]);
    if (test == true) break;
  } while (next_permutation(special.begin(), special.end()));
  cout << "!";
  for (int k = 0; k < 6; k++) cout << " " << special[k];
  cout << endl;
  cout << flush;
  return 0;
}
