import sys
ans = 0
for shift in xrange(40, -1, -1):
    print "? %d" % (ans | 1 << shift)
    sys.stdout.flush()
    res = int(raw_input())
    if res == 1:
        ans |= 1 << shift

print "! %d" % ans
sys.stdout.flush()