#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef pair<int,int> P;
#define REP(i,n) for(int i=0;i<int(n);i++)






int main(){
	cin.tie(nullptr);  ios_base::sync_with_stdio(false);
    int i,j;


    int N,Q;
    cin >> N >> Q;

    vector<int> v,u;
    int X;
    for(i=1;i<N;i+=2){

    	cout << "?" << ' ' << i << ' ' << i << ' ' << i+1 << ' ' << i+1 << endl;
    	cout.flush();

    	cin >> X;

    	if(X==1){
    		v.push_back(i+1);
    		u.push_back(i);
    	}
    	else if(X==0){
       		v.push_back(i);
        	u.push_back(i+1);
    	}
    	else{
    		return 0;
    	}

    }


    int mx=0;
    int n=v.size();
    for(i=1;i<n;i++){

    	cout << "?" << ' ' << v[mx] << ' ' << N << ' ' << v[i] << ' ' << N << endl;
    	cout.flush();

    	cin >> X;

       	if(X==1) mx=i;
        else if(X==0) continue;
        else return 0;
    }

    int mn=0;
    for(i=1;i<n;i++){

    	cout << "?" << ' ' << u[mn] << ' ' << u[mn] << ' ' << u[i] << ' ' << u[i] << endl;
    	cout.flush();

    	cin >> X;

       	if(X==1) continue;
        else if(X==0) mn=i;
        else return 0;
    }


	cout << "!" << ' ' << u[mn] << ' ' << u[mn] << ' ' << v[mx] << ' ' << N << endl;
	cout.flush();





	return 0;

}