#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;
  	rep(i, h) rep(j, w) if(i * i + j * j == d) cout << "! " << i + 1 << ' ' << j + 1 << endl;
  	return 0;
  }
  return 1;
  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);
  }
  rep(i, h) rep(j, w) if(ok.at(i).at(j)){
  	cout << "! " << i + 1 << ' ' << j + 1 << endl;
  	return 0;
  }
}