#include<bits/stdc++.h>
using namespace std;
int N,Q,x,p,q;
int ask(int l,int r){
    cout<<"? "<<l<<" "<<N<<" "<<r<<" "<<N<<endl;
    cin>>x;
    return x;
}

int main() {

    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);

    cin>>N>>Q;
    queue<int> B[2],S;
    for(int i=1;i<N;i+=2){
        x=ask(i,i+1);
        B[x].push(i+1);
        B[1-x].push(i);
    }
    for(int i=0;i<2;i++){
        while(B[i].size()>1){
            p=B[i].front();
            B[i].pop();
            q=B[i].front();
            B[i].pop();
            B[i].push(ask(p,q)==i?p:q);
        }
    }
    cout<<"! "<<B[0].front()<<" "<<B[0].front()<<" "<<B[1].front()<<" "<<N<<"\n";
}