import sys
input = lambda: sys.stdin.readline().rstrip()

def main():
    # 入力
    N, Q = map(int, input().split())
    # 計算・出力
    # count = []
    def ask(l1, l2):
        # count.append(0)
        # [l1, N] < [l2, N] か？
        print(f'? {l1} {N} {l2} {N}', flush=True)
        res = int(input())
        # res = 1
        assert res != -1
        return res
    def answer(l1, l2):
        # print(len(count))
        print(f'! {l1} {l1} {l2} {N}', flush=True)
        exit()
    def solve(L, mode=0):  # mode 0: 小さい方
        while len(L) != 1:
            nL = []
            while len(L) >= 2:
                a = L.pop()
                b = L.pop()
                res = ask(a, b)
                if res ^ mode:
                    nL.append(a)
                else:
                    nL.append(b)
            L += nL
        return L[0]
    lowL, highL = [], []
    for i in range(1, N+1, 2):
        res = ask(i, i+1)
        if res:
            lowL.append(i)
            highL.append(i+1)
        else:
            lowL.append(i+1)
            highL.append(i)
    answer(solve(lowL, 0), solve(highL, 1))

if __name__ == "__main__":
    main()