def query(i, j)
  puts "? #{i + 1} #{j + 1}"
  STDOUT.flush
  return read_line.to_i
end

def answer(i, j)
  puts "! #{i + 1} #{j + 1}"
  STDOUT.flush
  exit
end

h, w = read_line.split.map(&.to_i)
if h == 1 && w == 1
  answer(0, 0)
end
r = query(0, 0)
if h == 1
  answer(0, (r ** 0.5).round.to_i)
end
if w == 1
  answer((r ** 0.5).round.to_i, 0)
end
cands = [] of Tuple(Int32, Int32)
h.times do |i|
  w.times do |j|
    if i * i + j * j == r
      cands << {i, j}
    end
  end
end
if cands.size == 1
  answer(cands[0][0], cands[0][1])
end
r = query(h - 1, 0)
cands.select! { |i, j| (i - (h - 1)) ** 2 + j ** 2 == r }
answer(cands[0][0], cands[0][1])