import sys

d = 2 **30
ans = 0

for i in range(30):
    print ("? " + str(d))
    sys.stdout.flush()
    
    d //= 2
    
    res = int(input())
    if res == 0:
        d -= d    
    else:
        d += d
    ans += (res*(2**(29-i)))
    
print("! " + str(ans))
sys.stdout.flush()