#include <bits/stdc++.h>
#pragma comment(linker, "/STACK: 1024000000,1024000000")
using namespace std;
int a[6] = {4, 8, 15, 16, 23, 42}, b[6];
int main() {
  for (int i = 0; i < 4; i++) {
    printf("? %d %d\n", i + 1, i + 2);
    fflush(stdout);
    scanf("%d", &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])
      break;
  } while (next_permutation(a, a + 6));
  printf("!");
  for (int i = 0; i < 6; i++) printf(" %d", a[i]);
  return 0;
}
