#include <bits/stdc++.h>
using namespace std;
using ll = long long;

int main() {
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout << "? 1000" << endl;
    int x;
    cin >> x;
    cout << "! " << 1000 - x << endl;
}