#include <stdio.h>

int main(void) {
	int i, ask = (1 << 29), ans0, ans1 = -1;
	for(i = 0; i < 30; i++) {
		printf("? %d\n", 1); fflush(stdout);
		scanf("%d", &ans0);
		if(ans0 != 1) {
			ask = 2 * i + (ans0 == 0);
			break;
		}
		
		int t = ask - (2 * i + 1); t = (t < 0 ? 0 : t);
		printf("? %d\n", t ); fflush(stdout);
		scanf("%d", &ans1);
		int j = 28 - i; j = (j < 0 ? 0 : j);
		ask += ans1 * (1 << j);
		if(ans1 == 0) {	break; }
	}
	printf("! %d\n", ask); fflush(stdout);
	return 0;
}