#include <bits/stdc++.h>
using namespace std;
using ll = long long;

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    int n, q;
    cin >> n >> q;
    auto ask = [&](int u, int v){
        int res;
        cout << "? " << u + 1 << " " << n << " " << v + 1 << " " << n << endl;
        cin >> res;
        return res;
    };
    queue<int> mx, mn;
    for(int i = 0; i + 1 < n; i += 2){
        int rcv = ask(i, i + 1);
        if(rcv == 1){
            mn.emplace(i);
            mx.emplace(i + 1);
        }else{
            mn.emplace(i + 1);
            mx.emplace(i);
        }
    }
    while(mn.size() >= 2){
        int u = mn.front();
        mn.pop();
        int v = mn.front();
        mn.pop();
        if (ask(u, v) == 1) mn.emplace(u);
        else mn.emplace(v);
    }
    while(mx.size() >= 2){
        int u = mx.front();
        mx.pop();
        int v = mx.front();
        mx.pop();
        if (ask(u, v) == 0) mx.emplace(u);
        else mx.emplace(v);
    }
    cout << "! " << mn.front() + 1 << " " << mn.front() + 1 << " " << mx.front() + 1 << " " << n << endl;
}