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