use bigint;
$|=1;
$z=0;
$m=1<<333;
while(!/=/){
	$m/=2;
	print"? 1 $m\n";
	$_=<>;
	chop;
	if(!/</){
		$z+=$m;
	}
}
print"! $z\n";