#include<bits/stdc++.h>
#include<atcoder/all>
using namespace std;
using namespace atcoder;

typedef modint998244353 mint;
typedef long long ll;

int main(){
	cout << "? 100" << endl;
	int r1; cin >> r1;
	// (100 + a) % b = r1;
	if (r1 == 99){
		cout << "! 99 100" << endl;
		return 0;
	}
	// b を暴く 99 - r1
	cout << "? " << 99 - r1 << endl;
	int r2; cin >> r2;
	int b = r2 + 1;
	int md = -1;
	for (int a=0; a<b; a++){
		if ((a + 100) % b == r1 && (a + 99 - r1) % b == r2){
			assert(md == -1);
			md = a;
		}
	}
	cout << "! " << md << " " << b << endl;
}