# cook your dish here
from collections import defaultdict,deque
from bisect import bisect_left,bisect_right
from itertools import accumulate,permutations,groupby
import sys
from math import gcd,isqrt
import heapq
import math
import string
#from sortedcontainers import SortedSet, SortedList, SortedDict
#import pulp
import random
#from more_itertools import*
#from functools import cache
#import pypyjit
#pypyjit.set_param('max_unroll_recursion=-1')
#sys.setrecursionlimit(10**6)
#input=lambda :sys.stdin.readline()[:-1]
class ready():
    def getint(self):
        return int(input())
    def getflo(self):
        return float(input())
    def getmanyint(self):
        return map(int,input().split())
    def gettree(self,n):
        g=[[] for _ in range(n)]
        for _ in range(n-1):
            u,v,c=map(int,input().split())
            g[u-1].append([v-1,c])
            g[v-1].append([u-1,c])
        return g
R=ready()

#ここからコ―ド
print("?",100,flush=True)
mod=int(input())
if mod==99:
    print("!",99,100,flush=True)
else:
    print("?",99-mod,flush=True)
    b=int(input())+1
    for a in range(1,b):
        if (a+100)%b==mod:
            print("!",a,b,flush=True)
            exit()