// yukicoder: No.256 桁の数字を入れ替え (2)
// 2019.4.14 bal4u
// ソート

#include <stdio.h>
#include <stdlib.h>

#define FR 0
#define TO 1000000001

int main()
{
	int x, m, l = FR, r = TO;

	while (l+1 < r) {
		m = (l + r) >> 1;
		printf("? %d\n", m), fflush(stdout);
		scanf("%d", &x);
		if (x == 0) r = m; else l = m;
	}
	printf("! %d\n", l), fflush(stdout);
	return 0;
}