import sys

def ask(l, r):
    print("?", l, r)
    sys.stdout.flush()
    return int(input())

def answer(l, r):
    print("!", l, r)
    sys.stdout.flush()

T, phi = map(int, input().split())

n = int(input())
res = ask(1, 3)
res = ask(1, 1)
res = ask(1, 2)
answer(1, 3)

n = int(input())
res = ask(1, 5)
res = ask(1, 2)
res = ask(1, 1)
res = ask(1, 3)
answer(2, 4)