Problem: This is an interactive task.

Scientists are about to invent a new optimization for the Floyd-Warshall algorithm, which will allow it to work in linear time. There is only one part of the optimization still unfinished.

It is well known that the Floyd-Warshall algorithm takes a graph with n nodes and exactly one edge between each pair of nodes. The scientists have this graph, what is more, they have directed each edge in one of the two possible directions.

To optimize the algorithm, exactly m edges are colored in pink color and all the rest are colored in green. You know the direction of all m pink edges, but the direction of green edges is unknown to you. In one query you can ask the scientists about the direction of exactly one green edge, however, you can perform at most 2 ⋅ n such queries.

Your task is to find the node from which every other node can be reached by a path consisting of edges of same color. Be aware that the scientists may have lied that they had fixed the direction of all edges beforehand, so their answers may depend on your queries.

Input

The first line contains two integers n and m (1 ≤ n ≤ 100 000, 0 ≤ m ≤ 100 000) — the number of nodes and the number of pink edges.

The next m lines describe the pink edges, the i-th of these lines contains two integers u_i, v_i (1 ≤ u_i, v_i ≤ n, u_i ≠ v_i) — the start and the end of the i-th pink edge. It is guaranteed, that all unordered pairs (u_i, v_i) are distinct.

Output

When you found the answer, print "!" and the number of the node from which every other node can be reached by a single-colored path.

Interaction

To ask the direction of the green edge between nodes a and b, print "?", a and b in single line, separated by the space characters. 

In answer to this read a single integer, which will be 1 if the edge is directed from a to b and 0 if the edge is directed from b to a.

You can ask at most 2 ⋅ n queries, otherwise you will get Wrong Answer.

After printing a query do not forget to output end of line and flush the output. Otherwise you will get Idleness limit exceeded. To do this, use: 

  * fflush(stdout) or cout.flush() in C++; 
  * System.out.flush() in Java; 
  * flush(output) in Pascal; 
  * stdout.flush() in Python; 
  * see documentation for other languages. 



Answer -1 instead of 0 or 1 means that you made an invalid query or exceeded the query limit. Exit immediately after receiving -1 and you will see Wrong answer verdict. Otherwise you can get an arbitrary verdict because your solution will continue to read from a closed stream.

Hacks

Hacks should be formatted as follows.

The first line should contain two integers n and m (1 ≤ n ≤ 300, 0 ≤ m ≤ n ⋅ (n - 1) / 2) — the number of nodes and number of pink edges.

The next m lines should describe the pink edges, the i-th line should contain 2 integers a_i, b_i (1 ≤ a_i, b_i ≤ n, a_i ≠ b_i), which means that there is a pink edge from a_i to b_i. All unordered pairs (a_i, b_i) should be distinct.

The next (n ⋅ (n - 1) / 2 - m) lines should describe the green edges, the i-th line should contain two integers a_i, b_i (1 ≤ a_i, b_i ≤ n, a_i ≠ b_i)), which means that there is a green edge from a_i to b_i. All unordered pairs of (a_i, b_i) should be distinct and should also be different from the pairs for the pink edges.

Example

Input


4 2
1 2
3 4
0
1
1

Output


? 1 3
? 4 2
? 3 2
! 3

Note

In the example above the answer for the query "? 1 3" is 0, so the edge is directed from 3 to 1. The answer for the query "? 4 2" is 1, so the edge is directed from 4 to 2. The answer for the query "? 3 2" is 1, so the edge is directed from 3 to 2. So there are green paths from node 3 to nodes 1 and 2 and there is a pink path from node 3 to node 4.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
struct edge {
  int to, next;
} net[100039];
int n, m, tot, head[100039], dfn[100039], low[100039], h, sta[100039],
    bel[100039], siz[100039], ire[100039], res, now, ans;
vector<int> dag[100039], scc[100039];
queue<int> que;
void add(int u, int v) {
  net[++tot] = (edge){v, head[u]};
  head[u] = tot;
}
void tarjan(int pos) {
  dfn[pos] = low[pos] = ++tot, sta[++h] = pos;
  for (int a = head[pos]; a; a = net[a].next) {
    if (!dfn[net[a].to]) {
      tarjan(net[a].to);
      low[pos] = min(low[pos], low[net[a].to]);
    } else if (!bel[net[a].to]) {
      low[pos] = min(low[pos], dfn[net[a].to]);
    }
  }
  if (dfn[pos] == low[pos]) {
    while (h) {
      bel[sta[h]] = pos, siz[pos]++;
      scc[pos].push_back(sta[h]);
      if (sta[h--] == pos) break;
    }
  }
}
int query(int i, int j) {
  printf("? %d %d\n", i, j);
  fflush(stdout);
  scanf("%d", &res);
  return res;
}
int main() {
  scanf("%d%d", &n, &m);
  for (int a = 1, b, c; a <= m; a++) {
    scanf("%d%d", &b, &c);
    add(b, c);
  }
  tot = 0;
  for (int a = 1; a <= n; a++) {
    if (!dfn[a]) {
      tarjan(a);
    }
  }
  for (int a = 1; a <= n; a++) {
    for (int b = head[a]; b; b = net[b].next) {
      if (bel[a] != bel[net[b].to]) {
        dag[bel[a]].push_back(bel[net[b].to]);
        ire[bel[net[b].to]]++;
      }
    }
  }
  for (int a = 1; a <= n; a++) {
    if (a == bel[a] && ire[a] == 0) {
      que.push(a);
    }
  }
  now = que.front(), que.pop();
  ans = scc[now][siz[now] - 1];
  for (int a; !que.empty(); que.pop()) {
    a = que.front();
    while (siz[a]) {
      if (!query(scc[now][siz[now] - 1], scc[a][siz[a] - 1])) {
        ans = scc[a][siz[a] - 1];
        swap(now, a);
      }
      siz[a]--;
    }
    for (int b = 0, c = dag[a].size(); b < c; b++) {
      ire[dag[a][b]]--;
      if (!ire[dag[a][b]]) {
        que.push(dag[a][b]);
      }
    }
  }
  printf("! %d", ans);
  return 0;
}