#include <bits/stdc++.h>
using namespace std;
int x, y;
int main() {
  printf("? ");
  for (int i = 1; i <= 100; i++) printf("%d ", i);
  puts("");
  fflush(stdout);
  scanf("%d", &x);
  x = ((x >> 7) << 7);
  printf("? ");
  for (int i = 1; i <= 100; i++) printf("%d ", i * (1 << 7));
  puts("");
  fflush(stdout);
  scanf("%d", &y);
  for (int i = 0; i <= 6; i++) {
    if (y & (1 << i)) x += (1 << i);
  }
  printf("! %d", x);
}
