d=64,l,s;main(i){for(;d;scanf("%d",&i),l+=d*!~-i*!!s,d=s++|i<1?d/2:1<<29)fflush(!printf("? %d\n",l+d-s-1));l=!printf("! %d\n",l);}