#include <bits/stdc++.h>
using namespace std;
int main() {
  long long a[6] = {4, 8, 15, 16, 23, 42}, b[4];
  for (int i = 0; i < 4; i++) {
    cout << "? " << i + 1 << " " << i + 2 << endl;
    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])
      cout << "! " << a[0] << " " << a[1] << " " << a[2] << " " << a[3] << " "
           << a[4] << " " << a[5] << endl;
  } while (next_permutation(a, a + 6));
}
