import sys
input = lambda :sys.stdin.readline()[:-1]
ni = lambda :int(input())
na = lambda :list(map(int,input().split()))
yes = lambda :print("yes");Yes = lambda :print("Yes");YES = lambda : print("YES")
no = lambda :print("no");No = lambda :print("No");NO = lambda : print("NO")
#######################################################################

def query(l, r, ll, rr):
    print("?", l+1, r, ll+1, r, flush=True)
    x = ni()
    if x == -1:
        exit()
    return x

def ask(i, j):#a[i:n] < a[j:n]
    return query(i, n, j, n)

n, q = na()

l = []
r = []

for i in range(n//2):
    if ask(i*2, i*2+1):
        l.append(i*2)
        r.append(i*2+1)
    else:
        l.append(i*2+1)
        r.append(i*2)

for i in range(n//2-1):
    if not ask(l[0], l[i+1]):
        l[0], l[i+1] = l[i+1], l[0]
for i in range(n//2-1):
    if ask(r[0], r[i+1]):
        r[0], r[i+1] = r[i+1], r[0]

print("!", l[0]+1, l[0]+1, r[0]+1, n, flush=True)