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

int main()
{
    int n,q;
    cin>>n>>q;
    vector<vector<int>> v(2);
    for(int i=1;i<=n;i+=2){
        cout<<"? "<<i<<" "<<n<<" "<<i+1<<" "<<n<<endl;
        int t;
        cin>>t;
        if(t==-1)return 0;
        else if(t==0){
            v[0].push_back(i);
            v[1].push_back(i+1);
        }else{
            v[0].push_back(i+1);
            v[1].push_back(i);
        }
    }
    for(int i=0;i<2;i++){
        for(int j=0;j+1<n/2;j++){
            cout<<"? "<<v[i][j]<<" "<<n<<" "<<v[i][j+1]<<" "<<n<<endl;
            int t;
            cin>>t;
            if(t==-1)return 0;
            else{
                if((t^i)==0)swap(v[i][j],v[i][j+1]);
            }
        }
    }
    cout<<"! "<<v[1][n/2-1]<<" "<<v[1][n/2-1]<<" "<<v[0][n/2-1]<<" "<<n<<endl;
    return 0;
}