#!/usr/bin/env python3 from ast import Call, parse, unparse, walk from inspect import currentframe, getsourcelines from sys import stdin _tokens = (y for x in stdin for y in x.split()) def read(): return next(_tokens) def iread(): return int(next(_tokens)) def dprint(*args, pretty=True): def _inner(v): def _format_3d(v): return '\n' + '\n'.join(['\n'.join([' '.join([str(z) for z in y]) for y in x]) + '\n' for x in v]).rstrip('\n') def _format_2d(v): return '\n' + '\n'.join([' '.join([str(y) for y in x]) for x in v]) def _dim(v): return (1 + min(_dim(x) for x in v) if v else 1) if isinstance(v, (list, tuple)) else 1 if isinstance(v, str) and len(v) > 1 else 0 dim = _dim(v) if pretty else -1 return _format_3d(v) if dim == 3 else _format_2d(v) if dim == 2 else str(v) frame = currentframe().f_back source_lines, start_line = getsourcelines(frame) tree = parse(source_lines[frame.f_lineno - max(1, start_line)].strip()) call_node = next(node for node in walk(tree) if isinstance(node, Call) and node.func.id == 'dprint') arg_names = [unparse(arg) for arg in call_node.args] print(', '.join([f'\033[4;35m{name}:\033[0m {_inner(value)}' for name, value in zip(arg_names, args)])) def main(): h, w = iread(), iread() def dist(i, j, ii, jj): return (i - ii)**2 + (j - jj)**2 print(f'? {1} {1}', flush=True) d = iread() s0 = set() for i in range(1, h + 1): for j in range(1, w + 1): if dist(1, 1, i, j) == d: s0.add((i, j)) print(f'? {h} {w}', flush=True) d = iread() s1 = set() for i in range(1, h + 1): for j in range(1, w + 1): if dist(h, w, i, j) == d: s1.add((i, j)) s = s0 & s1 if len(s) == 1: i, j = s.pop() print(f'! {i} {j}', flush=True) return if len(s) != 2: dprint(s) return i, j = s.pop() print(f'? {i} {j}', flush=True) d = iread() if d == 0: print(f'! {i} {j}', flush=True) return else: i, j = s.pop() print(f'! {i} {j}', flush=True) return if __name__ == '__main__': main()