#include <bits/stdc++.h>
using namespace std;
int main() {
  cout << "?";
  for (int i = 1; i <= 100; i++) cout << " " << i;
  cout << "\n";
  int a;
  cin >> a;
  cout << "?";
  int s = 1 << 7;
  for (int i = 1; i <= 100; i++) {
    cout << " " << s;
    s += (1 << 7);
  }
  cout << "\n";
  int b;
  cin >> b;
  cout << "! " << ((a >> 7) << 7) + b % (int)pow(2, 7);
}
