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