'''
from random import randint
N = 3
Q = 15

#L = [randint(1,N) for _ in range(N)]
#L0 = [1,2,3,4,5,6,7,8,9,10]
L0 = [1,10,9,8,7,6,5,4,3,2]
L0 = [2,3,1]

def check0(l0,r0,l1,r1):
    print("?",l0,r0,l1,r1)
    global L0
    return L0[l0-1:r0] < L0[l1-1:r1]

'''

N, Q = map(int, input().split())

def check(l0, r0, l1, r1):
    print("?", l0, r0, l1, r1)
    x = int(input())
    if x == -1:
        exit()
    return x == 1

L = list(range(1, N + 1))
while len(L) > 1:
    L2 = []
    while L:
        x = L.pop()
        if L:
            y = L.pop()
            if check(x, x, y, y):
                L2.append(x)
            else:
                L2.append(y)
        else:
            L2.append(x)
    L = L2[:]
ans = [L[0], L[0]]
L = list(range(1, N + 1))
while len(L) > 1:
    L2 = []
    while L:
        x = L.pop()
        if L:
            y = L.pop()
            if check(x, N, y, N):
                L2.append(y)
            else:
                L2.append(x)
        else:
            L2.append(x)
    L = L2[:]
ans += [L[0], N]
print("!", *ans)