# -*- coding: utf-8 -*-
"""
Created on Sat Dec 21 12:45:36 2024

@author: Tekyla
"""

#from sys import stdin
#input = lambda :stdin.readline()[:-1]

N,Q = map(int, input().split())
min_ = []
max_ = []
size = 1
for i in range(N//2):
    print("?", 2*i+1, 2*i+1, 2*i+2, 2*i+2)
    X = int(input())
    if X == 1:
        min_.append(2*i+1)
        max_.append(2*i+2)
    else:
        min_.append(2*i+2)
        max_.append(2*i+1)

# ここから個別に仕分け作業
# 最小は長さ1
while len(min_) > 1:
    i,j = min_.pop(), min_.pop()
    print("?", i,i, j,j)
    X = int(input())
    if X == 1:
        min_.append(i)
    else:
        min_.append(j)

# 最大は長さも長い
while len(max_) > 1:
    i,j = max_.pop(), max_.pop()
    print("?", i,N, j,N)
    X = int(input())
    if X == 1:
        max_.append(j)
    else:
        max_.append(i)

print("!", min_[0], min_[0], max_[0], N)