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

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