#include<iostream>
#include<cassert>
using namespace std;
int N,Q;
bool ask(int a,int b)
{
	cout<<"? "<<a<<" "<<N<<" "<<b<<" "<<N<<endl;
	int x;cin>>x;
	return x==1;
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cin>>N>>Q;
	int mn,mx;
	if(ask(1,2))mn=1,mx=2;
	else mn=2,mx=1;
	for(int i=3;i<N;i+=2)
	{
		int a=i,b=i+1;
		if(!ask(a,b))swap(a,b);
		if(ask(a,mn))mn=a;
		if(ask(mx,b))mx=b;
	}
	cout<<"! "<<mn<<" "<<mn<<" "<<mx<<" "<<N<<endl;
}