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