#include <bits/stdc++.h>
using namespace std;
const int inf = 0x7fffffff;
int main() {
  int a[] = {4, 8, 15, 16, 23, 42};
  int b[7] = {0};
  for (int i = 0; i < 4; i++) {
    cout << "? " << i + 1 << " " << i + 2 << "\n";
    fflush(stdout);
    cin >> b[i];
  }
  do {
    if (a[0] * a[1] == b[0] && a[1] * a[2] == b[1] && a[2] * a[3] == b[2] &&
        a[3] * a[4] == b[3])
      break;
  } while (next_permutation(a, a + 6));
  cout << "! ";
  for (int i = 0; i < 6; i++) cout << a[i] << " ";
  cout << "\n";
  return 0;
}
