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