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

void fast_io() {
	ios_base::sync_with_stdio(false);
	cin.tie(nullptr);
}

int main() {
	fast_io();
	int n, q;
	cin >> n >> q;
	vector<int> ma_idx, mi_idx;
	for (int i = 1; i < n; i += 2) {
		cout << "? " << i << " " << n << " " << i + 1 << " " << n << endl;
		int x;
		cin >> x;
		if (x == 1) {
			ma_idx.push_back(i + 1);
			mi_idx.push_back(i);
		} else {
			ma_idx.push_back(i);
			mi_idx.push_back(i + 1);
		}
	}
	int L = ma_idx[0];
	for (int i = 1; i < ma_idx.size(); i++) {
		cout << "? " << L << " " << n << " " << ma_idx[i] << " " << n << endl;
		int x;
		cin >> x;
		if (x == 1) {
			L = ma_idx[i];
		}
	}
	int l = mi_idx[0];
	for (int i = 1; i < mi_idx.size(); i++) {
		cout << "? " << l << " " << l << " " << mi_idx[i] << " " << mi_idx[i]
			 << endl;
		int x;
		cin >> x;
		if (x == 0) {
			l = mi_idx[i];
		}
	}
	cout << "! " << l << " " << l << " " << L << " " << n << endl;
}