import math;G=math.gcd;a=g=2;n=int(input())
while g<3:print("?",a);r=int(input());g=max([G(n,pow(a+b,r//(2-(r&1)),n)-1)%n for b in range(9)]+[G(n,a+1)]);a+=1
print("!",g,n//g)