#include <bits/stdc++.h>
using namespace std;
int f[50];
int v[7], t, x1, ans[10], i, j, x;
vector<int> a = {4, 8, 15, 16, 23, 42};
int main() {
  int ans[8];
  for (int i = 1; i <= 4; ++i) {
    cout << "? " << i << " " << i + 1 << endl;
    cin >> ans[i];
  }
  do {
    int fl = 0;
    for (int i = 0; i < 4; ++i) {
      if (ans[i + 1] != a[i] * a[i + 1]) {
        fl = 1;
      }
    }
    if (!fl) {
      cout << "! ";
      for (int x : a) {
        cout << x << " ";
      }
      cout << endl;
      return 0;
    }
  } while (next_permutation(a.begin(), a.end()));
  return 0;
}
