#include <bits/stdc++.h> #include <atcoder/all> using namespace std; using namespace atcoder; #define all(x) (x).begin(), (x).end() #define rep(i, n) for (int i = 0; i < (int)(n); i++) #define rrep(i, n) for(int i = (int)(n - 1); i >= 0; i--) template <typename T> bool chmax(T &a,const T &b){if(a<b){a=b;return true;}return false;} template <typename T> bool chmin(T &a,const T &b){if(a>b){a=b;return true;}return false;} using ll = long long; #define int ll using vi = vector<int>; using vvi = vector<vector<int>>; using vb = vector<bool>; using vvb = vector<vector<bool>>; using vs = vector<string>; using pii = pair<int, int>; /* using mint = modint; using vm = vector<mint>; using vvm = vector<vector<mint>>; */ signed main(){ int h, w; cin >> h >> w; if(h * w == 1){ cout << "! 1 1" << endl; return 0; } if(h == 1 || w == 1){ cout << "? 1 1" << endl; int d; cin >> d; if(h == 1) cout << "! 1 " << 1 + d << endl; else cout << "! " << 1 + d << " 1" << endl; return 0; } const vector<pii> v = {{0, 0}, {0, h - 1}}; vvb ok(h, vb(w, true)); rep(idx, 2){ auto &[ni, nj] = v.at(idx); cout << "? " << ni + 1 << ' ' << nj + 1 << endl; int d; cin >> d; if(d == -1) return 1; rep(i, h) rep(j, w) ok.at(i).at(j) = ok.at(i).at(j) && (i - ni) * (i - ni) + (j - nj) * (j - nj) == d; } vector<pii> ans; rep(i, h) rep(j, w) if(ok.at(i).at(j)) ans.emplace_back(i, j); if(ans.size() != 1) return 1; auto &[ansi, ansj] = ans.at(0); cout << "! " << ansi << ' ' << ansj << endl; }