#include <cassert>
#include <cmath>
#include <cstdint>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <bitset>
#include <complex>
#include <deque>
#include <functional>
#include <iostream>
#include <limits>
#include <map>
#include <numeric>
#include <queue>
#include <random>
#include <set>
#include <sstream>
#include <string>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>

using namespace std;

using Int = long long;

template <class T1, class T2> ostream &operator<<(ostream &os, const pair<T1, T2> &a) { return os << "(" << a.first << ", " << a.second << ")"; };
template <class T> ostream &operator<<(ostream &os, const vector<T> &as) { const int sz = as.size(); os << "["; for (int i = 0; i < sz; ++i) { if (i >= 256) { os << ", ..."; break; } if (i > 0) { os << ", "; } os << as[i]; } return os << "]"; }
template <class T> void pv(T a, T b) { for (T i = a; i != b; ++i) cerr << *i << " "; cerr << endl; }
template <class T> bool chmin(T &t, const T &f) { if (t > f) { t = f; return true; } return false; }
template <class T> bool chmax(T &t, const T &f) { if (t < f) { t = f; return true; } return false; }
#define COLOR(s) ("\x1b[" s "m")



int main() {
  int N, Q;
  scanf("%d%d", &N, &Q);
  
  vector<int> ls(N);
  for (int i = 0; i < N; ++i) ls[i] = i;
  auto res = minmax_element(ls.begin(), ls.end(), [&](int l0, int l1) -> bool {
    printf("? %d %d %d %d\n", l0 + 1, N, l1 + 1, N);
    fflush(stdout);
    int ret;
    scanf("%d", &ret);
    return ret;
  });
  
  const int l0 = *res.first;
  const int l1 = *res.second;
  printf("! %d %d %d %d\n", l0 + 1, l0 + 1, l1 + 1, N);
  fflush(stdout);
  
  return 0;
}