fn c() -> String {
	let mut s = String::new();
	std::io::stdin().read_line(&mut s).unwrap();
	s.trim().to_string()
}

fn main() {
	let f: Vec<i64> = c().split_whitespace().flat_map(str::parse).collect();
	let o = || {
		println!("? 1 1");
		c().parse::<i64>().unwrap()
	};
	match f.as_slice() {
		[1, 1] => println!("! 1 1"),
		[1, _] => {
			let d = o();
			println!("! 1 {}", d + 1);
		}
		[_, 1] => {
			let d = o();
			println!("! {} 1", d + 1);
		}
		_ => {
			let u = o();
			println!("? 1 {}", f[1]);
			let v = c().parse::<i64>().unwrap();
			let d = (u - v - 1 + f[1].pow(2)) / 2;
			let y = (d / (f[1] - 1)).abs();
			let x = (1..=f[0])
				.find(|&x| (y - 1).pow(2) + (x - 1).pow(2) == u)
				.unwrap();
			println!("! {x} {y}");
		}
	}
}