#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  vector<int> a = {4, 8, 15, 16, 23, 42};
  vector<int> p;
  for (int i = 1; i <= 4; i++) {
    cout << "? " << i << " " << i + 1 << endl;
    int x;
    cin >> x;
    p.emplace_back(x);
  }
  do {
    int ok = 0;
    for (int i = 0; i < 4; i++) {
      if (a[i] * a[i + 1] != p[i]) {
        ok = 1;
      }
    }
    if (!ok) {
      cout << "! ";
      for (auto e : a) cout << e << " ";
      return cout << endl, 0;
    }
  } while (next_permutation(a.begin(), a.end()));
  return 0;
}
