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

using ll = long long;
bool deb = 1;
int N,Q;
int ask(int l,int r){
    cout<<"? "<<l<<" "<<N<<" "<<r<<" "<<N<<endl;
    int X;
    cin>>X;

    return X;
}

int main() {

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

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