#include <bits/stdc++.h>
using namespace std;
int arr[6] = {4, 8, 15, 16, 23, 42};
int a[4];
int main() {
  for (int i = 0; i < 4; i++) {
    cout << "? " << i + 1 << " " << i + 2 << endl;
    fflush(stdout);
    cin >> a[i];
  }
  sort(arr, arr + 6);
  do {
    int ok = 1;
    for (int i = 0; i < 4 && ok; i++) {
      if (arr[i] * arr[i + 1] != a[i]) ok = 0;
    }
    if (ok) {
      cout << "! ";
      for (int i = 0; i < 6; i++) cout << arr[i] << " ";
      fflush(stdout);
      cout << endl;
      fflush(stdout);
      return 0;
    }
  } while (next_permutation(arr, arr + 6));
}
