// -*- coding:utf-8-unix -*- // #![feature(map_first_last)] #![allow(dead_code)] #![allow(unused_imports)] #![allow(unused_macros)] use std::arch::x86_64::_MM_FROUND_NEARBYINT; // use core::num; use std::cmp::*; use std::fmt::*; use std::hash::*; use std::iter::FromIterator; use std::*; use std::{cmp, collections, fmt, io, iter, ops, str}; const INF: i64 = 1223372036854775807; const UINF: usize = INF as usize; const LINF: i64 = 2147483647; const INF128: i128 = 1223372036854775807000000000000; const MOD1: i64 = 1000000007; const MOD9: i64 = 998244353; const MOD: i64 = MOD9; // const MOD: i64 = MOD2; const UMOD: usize = MOD as usize; const M_PI: f64 = 3.14159265358979323846; // use proconio::input; // const MOD: i64 = INF; use cmp::Ordering::*; use std::collections::*; use std::io::stdin; use std::io::stdout; use std::io::Write; macro_rules! p { ($x:expr) => { //if expr println!("{}", $x); }; } macro_rules! vp { // vector print separate with space ($x:expr) => { println!( "{}", $x.iter() .map(|x| x.to_string()) .collect::>() .join(" ") ); }; } macro_rules! d { ($x:expr) => { println!("{:?}", $x); }; } macro_rules! yn { ($val:expr) => { if $val { println!("Yes"); } else { println!("No"); } }; } fn main() { solve(); } // use str::Chars; #[allow(dead_code)] fn read() -> T { let mut s = String::new(); std::io::stdin().read_line(&mut s).ok(); s.trim().parse().ok().unwrap() } #[allow(dead_code)] fn readi() -> i64 { let mut str = String::new(); let _ = stdin().read_line(&mut str).unwrap(); let mut iter = str.split_whitespace(); iter.next().unwrap().parse::().unwrap() } #[allow(dead_code)] fn read_vec() -> Vec { read::() .split_whitespace() .map(|e| e.parse().ok().unwrap()) .collect() } #[allow(dead_code)] fn read_mat(n: u32) -> Vec> { (0..n).map(|_| read_vec()).collect() } #[allow(dead_code)] fn readii() -> (i64, i64) { let mut str = String::new(); let _ = stdin().read_line(&mut str).unwrap(); let mut iter = str.split_whitespace(); ( iter.next().unwrap().parse::().unwrap(), iter.next().unwrap().parse::().unwrap(), ) } #[allow(dead_code)] fn readiii() -> (i64, i64, i64) { let mut str = String::new(); let _ = stdin().read_line(&mut str).unwrap(); let mut iter = str.split_whitespace(); ( iter.next().unwrap().parse::().unwrap(), iter.next().unwrap().parse::().unwrap(), iter.next().unwrap().parse::().unwrap(), ) } #[allow(dead_code)] fn readuu() -> (usize, usize) { let mut str = String::new(); let _ = stdin().read_line(&mut str).unwrap(); let mut iter = str.split_whitespace(); ( iter.next().unwrap().parse::().unwrap(), iter.next().unwrap().parse::().unwrap(), ) } #[allow(dead_code)] fn readff() -> (f64, f64) { let mut str = String::new(); let _ = stdin().read_line(&mut str).unwrap(); let mut iter = str.split_whitespace(); ( iter.next().unwrap().parse::().unwrap(), iter.next().unwrap().parse::().unwrap(), ) } fn readcc() -> (char, char) { let mut str = String::new(); let _ = stdin().read_line(&mut str).unwrap(); let mut iter = str.split_whitespace(); ( iter.next().unwrap().parse::().unwrap(), iter.next().unwrap().parse::().unwrap(), ) } fn readuuu() -> (usize, usize, usize) { let mut str = String::new(); let _ = stdin().read_line(&mut str).unwrap(); let mut iter = str.split_whitespace(); ( iter.next().unwrap().parse::().unwrap(), iter.next().unwrap().parse::().unwrap(), iter.next().unwrap().parse::().unwrap(), ) } #[allow(dead_code)] fn readiiii() -> (i64, i64, i64, i64) { let mut str = String::new(); let _ = stdin().read_line(&mut str).unwrap(); let mut iter = str.split_whitespace(); ( iter.next().unwrap().parse::().unwrap(), iter.next().unwrap().parse::().unwrap(), iter.next().unwrap().parse::().unwrap(), iter.next().unwrap().parse::().unwrap(), ) } #[allow(dead_code)] fn readuuuu() -> (usize, usize, usize, usize) { let mut str = String::new(); let _ = stdin().read_line(&mut str).unwrap(); let mut iter = str.split_whitespace(); ( iter.next().unwrap().parse::().unwrap(), iter.next().unwrap().parse::().unwrap(), iter.next().unwrap().parse::().unwrap(), iter.next().unwrap().parse::().unwrap(), ) } #[derive(Clone, Debug)] struct MultiSet { set: BTreeSet, map: HashMap, } impl MultiSet { fn new() -> MultiSet { MultiSet { set: BTreeSet::new(), map: HashMap::new(), } } ///multiset的に書き出し fn print(&self) { print!("{{ "); for x in &self.set { if let Some(&num) = self.map.get(x) { for _i in 0..num { print!("{} ", x); } } } println!("}}"); } ///重複許可挿入 fn insert(&mut self, i: i64) -> Option { if let Some(_i) = self.set.get(&i) { //setにある *self.map.entry(i).or_insert(0) += 1; } else { //setにない self.set.insert(i); *self.map.entry(i).or_insert(0) += 1; } return Some(i); } ///1つ削除 fn erase(&mut self, e: i64) -> Option { if let Some(_e) = self.set.get(&e) { //setにある *self.map.entry(e).or_insert(0) -= 1; if self.map[&e] == 0 { //なくなった self.set.take(&e); } return Some(e); } else { //setにない return None; } } ///最小値の取得 fn get_min(&self) -> Option { if let Some(&m) = self.set.iter().nth(0) { return Some(m); } else { return None; } } ///最大値の取得 fn get_max(&self) -> Option { if let Some(&m) = self.set.iter().last() { return Some(m); } else { return None; } } } fn dijkstra(graph: &Vec>, start: usize, visit: &mut Vec) -> Vec { let mut dist = vec![INF as usize; graph.len()]; let mut heap = BinaryHeap::new(); heap.push(Reverse((0 as usize, start))); dist[start] = 0; while let Some(Reverse(x)) = heap.pop() { let cost = x.0; let v = x.1; visit.push(v + 1); if cost > dist[v] { continue; } for edge in &graph[v] { let nc = cost + edge.1; let nv = edge.0; if nc < dist[nv] { heap.push(Reverse((nc, nv))); dist[nv] = nc; } } } return dist; } fn solve() { let n: usize = read(); println!("? {}", 1); let init: usize = read(); let f = |x: i64| -> bool { println!("? {}", x); let y: usize = read(); return y - init == x as usize - 1; }; let mut ok = 0; let mut ng = n as i64; let mut cnt = 0; while cnt < 9 { let mid = (ok + ng) / 2; if f(mid) { ok = mid; } else { ng = mid; } cnt += 1; } if ok == n as i64 - 1 { println!("No"); //不要? return; } println!("Yes {} {}", ok + 1, ok + 2); return; }