n, q = map(int, input().split())
array = list(range(n))
debug = False

def ask(l1, r1, l2, r2):
    print("?", l1 + 1, r1, l2 + 1, r2)
    if debug: result = int(array[l1:r1] < array[l2:r2])
    else: result = int(input())
    assert result != -1
    return result

min_list = []
max_list = []
if n%2 == 1:
    min_list.append(n-1)
    max_list.append(n-1)

for i in range(n//2):
    x, y = 2 * i + 1, 2 * i
    if ask(y, n, x, n): x, y = y, x
    min_list.append(x)
    max_list.append(y)

print(min_list, max_list)
while len(min_list) > 1:
    nxt_min_list = []
    size = len(min_list)
    if size&1: nxt_min_list.append(min_list[size-1])
    for i in range(size//2):
        x, y = min_list[2 * i + 1], min_list[2 * i]
        if ask(y, n, x, n): x, y = y, x
        nxt_min_list.append(x)
    min_list = nxt_min_list[::]

while len(max_list) > 1:
    nxt_max_list = []
    size = len(max_list)
    if size&1: nxt_max_list.append(max_list[size-1])
    for i in range(size//2):
        x, y = max_list[2 * i + 1], max_list[2 * i]
        if ask(y, n, x, n): x, y = y, x
        nxt_max_list.append(y)
    max_list = nxt_max_list[::]

l, r = min_list[0] + 1, min_list[0] + 1
L, R = max_list[0] + 1, n

print("!", l, r, L, R)