#include <bits/stdc++.h>
using namespace std;
int main() {
  cout << "? ";
  for (int i = 0; i < 100; i++) {
    cout << i + 1 << ' ';
  }
  cout << endl;
  fflush(stdout);
  int r1 = 0, r2 = 0;
  int a = 0;
  cin >> a;
  r1 = a / 128;
  cout << "? ";
  for (int i = 0; i < 100; i++) {
    cout << (i + 1) * 128 << ' ';
  }
  cout << endl;
  fflush(stdout);
  cin >> a;
  r2 = a % 128;
  cout << "! " << r1 * 128 + r2;
  return 0;
}
