#include <bits/stdc++.h>
using namespace std;
int main() {
  int c, d;
  cout << "?";
  for (register int i = 1; i <= 100; ++i) cout << " " << i;
  cout << endl;
  fflush(stdout);
  cin >> c;
  cout << "?";
  for (register int i = 1; i <= 100; ++i) cout << " " << (i << 7);
  cout << endl;
  fflush(stdout);
  cin >> d;
  int b = (c ^ d) >> 7 << 7;
  printf("! %d\n", b ^ d);
}
