Problem: As you all know, the plum harvesting season is on! Little Milutin had his plums planted in an orchard that can be represented as an n by m matrix. While he was harvesting, he wrote the heights of all trees in a matrix of dimensions n by m.

At night, when he has spare time, he likes to perform various statistics on his trees. This time, he is curious to find out the height of his lowest tree. So far, he has discovered some interesting properties of his orchard. There is one particular property that he thinks is useful for finding the tree with the smallest heigh.

Formally, let L(i) be the leftmost tree with the smallest height in the i-th row of his orchard. He knows that L(i) ≤ L(i+1) for all 1 ≤ i ≤ n - 1. Moreover, if he takes a submatrix induced by any subset of rows and any subset of columns, L(i) ≤ L(i+1) will hold for all 1 ≤ i ≤ n'-1, where n' is the number of rows in that submatrix.

Since the season is at its peak and he is short on time, he asks you to help him find the plum tree with minimal height.

Input

This problem is interactive.

The first line of input will contain two integers n and m, representing the number of rows and the number of columns in Milutin's orchard. It is guaranteed that 1 ≤ n, m ≤ 10^6.

The following lines will contain the answers to your queries.

Output

Once you know have found the minimum value r, you should print ! r to the standard output.

Interaction

Your code is allowed to query for an entry (i, j) of a matrix (i.e. get the height of the tree which is in the i-th row and j-th column). The query should be formatted as ? i j, so that 1 ≤ i ≤ n and 1 ≤ j ≤ m.

You may assume that the entries of the matrix will be integers between 1 and 10^9.

Your solution should use not more than 4 ⋅ (n + m) queries.

This is an interactive problem. You have to use a flush operation right after printing each line. For example, in C++ you should use the function fflush(stdout), in Java — System.out.flush(), in Pascal — flush(output) and in Python — sys.stdout.flush().

Example

Input


5 5
13 15 10 9 15
15 17 12 11 17
10 12 7 6 12
17 19 14 13 19
16 18 13 12 18


Output

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
inline int read() {
  char ch = getchar();
  int nega = 1;
  while (!isdigit(ch)) {
    if (ch == '-') nega = -1;
    ch = getchar();
  }
  int ans = 0;
  while (isdigit(ch)) {
    ans = ans * 10 + ch - 48;
    ch = getchar();
  }
  if (nega == -1) return -ans;
  return ans;
}
void print(vector<int> x) {
  for (int i = 0; i < (int)x.size(); i++)
    printf("%d%c", x[i], " \n"[i == (int)x.size() - 1]);
}
int n, m, ans = 0x3f3f3f3f;
int a[1005][1005], qcnt = 0;
map<pair<int, int>, int> vis;
int query(int x, int y, int op = 0) {
  if (x < 0) exit(0);
  if (x >= n) exit(1);
  if (y < 0) exit(2);
  if (y >= m) exit(op);
  if (vis[{x, y}]) return vis[{x, y}];
  qcnt++;
  if (qcnt > 4 * (n + m)) exit(0);
  printf("? %d %d\n", x + 1, y + 1);
  fflush(stdout);
  int r = read();
  ans = min(ans, r);
  return vis[{x, y}] = r;
}
vector<int> solve(vector<int> r, vector<int> c) {
  if ((int)r.size() <= 2) {
    vector<int> ans(r.size());
    for (int i = 0; i < (int)r.size(); i++) {
      int mn = 0x3f3f3f3f, mnpos = 0;
      for (int j = 0; j < (int)c.size(); j++) {
        int t = query(r[i], c[j]);
        if (t < mn) mn = t, mnpos = c[j];
      }
      ans[i] = mnpos;
    }
    return ans;
  }
  vector<int> tmp;
  if (r.size() < c.size()) {
    int siz = 0;
    for (int i = 0; i < (int)c.size(); i++) {
      while (!tmp.empty()) {
        if (tmp.back() > m) exit(5);
        if (c[i] > m) exit(6);
        int A = query(r[(int)tmp.size() - 1], tmp.back(), 10),
            B = query(r[(int)tmp.size() - 1], c[i], 11);
        if (A > B)
          tmp.pop_back();
        else
          break;
      }
      if (tmp.size() < r.size()) tmp.push_back(c[i]);
    }
    c = tmp;
  }
  tmp.clear();
  for (int i = 0; i < (int)r.size(); i += 2) tmp.push_back(r[i]);
  vector<int> pre = solve(tmp, c);
  pre.push_back(c.back());
  vector<int> ans(r.size());
  for (int i = 0; i < (int)r.size(); i++) {
    if (i % 2 == 0)
      ans[i] = pre[i / 2];
    else {
      int L = lower_bound(c.begin(), c.end(), pre[i / 2]) - c.begin(),
          R = lower_bound(c.begin(), c.end(), pre[i / 2 + 1]) - c.begin(),
          mn = 0x3f3f3f3f, mnpos = 0;
      for (int j = L; j <= R; j++) {
        int t = query(r[i], c[j], 13);
        if (t < mn) mn = t, mnpos = c[j];
      }
      ans[i] = mnpos;
    }
  }
  return ans;
}
signed main() {
  n = read(), m = read();
  vector<int> r(n), c(m);
  for (int i = 0; i < n; i++) r[i] = i;
  for (int i = 0; i < m; i++) c[i] = i;
  solve(r, c);
  printf("! %d\n", ans);
  return 0;
}