fn main() {
    let (n, q) = {
        let a = read();
        (a[0], a[1])
    };
    assert!(n % 2 == 0 && q >= n / 2 * 3);
    let query = |x: usize, y: usize| -> usize {
        assert!(x != y && x.max(y) < n);
        println!("? {} {n} {} {n}", x + 1, y + 1);
        read()[0]
    };
    let mut list = vec![vec![]; 2];
    for i in (1..n).step_by(2) {
        let x = query(i - 1, i);
        list[x].push(i - 1);
        list[x ^ 1].push(i);
    }
    let mut min = list[1][0];
    let mut max = list[0][0];
    for (a, b) in list[0].iter().zip(list[1].iter()).skip(1) {
        if query(*a, max) == 0 {
            max = *a;
        }
        if query(min, *b) == 0 {
            min = *b;
        }
    }
    println!("! {} {} {} {n}", min + 1, min + 1, max + 1);
}


fn read() -> Vec<usize> {
    let mut s = String::new();
    std::io::stdin().read_line(&mut s).unwrap();
    s.trim().split_whitespace().flat_map(|s| s.parse()).collect()
}