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

int n,q;

int ask(int i,int j) {
	printf("? %d %d %d %d\n", i+1,n,j+1,n);
	int a;
	cin>>a;
	assert(a>=0);
	return a;
}

int main() {
	cin>>n>>q;
	
	vector<int> mns,mxs;
	for(int i=0;i<n;i+=2) {
		if(ask(i,i+1)) {
			mns.push_back(i);
			mxs.push_back(i+1);
		} else {
			mns.push_back(i+1);
			mxs.push_back(i);
		}
	}
	
	int mn=mns[0];
	int mx=mxs[0];
	for(int i=1;i<n/2;i++) {
		if(ask(mns[i],mn)) mn=mns[i];
		if(ask(mx,mxs[i])) mx=mxs[i];
	}
	
	printf("! %d %d %d %d\n",mn+1,mn+1,mx+1,n);
}