#include <bits/stdc++.h>
using namespace std;
void solve(){
int n, x0, y0;
cin >> n >> x0 >> y0;
int r = 0;
vector<bool> in = {true};
int i = 0;
while (in[i]){
r++;
i++;
if (x0+r <= n){
cout << "examine " << x0+r << " " << y0 << endl;
string temp;
cin >> temp;
if (temp == "true") in.push_back(true);
else in.push_back(false);
}
else in.push_back(false);
}
r--;
int l = 0;
in[i] = true;
while (in[i]){
i++;
l++;
if (x0-l > 0){
cout << "examine " << x0-l << " " << y0 << endl;
string temp;
cin >> temp;
if (temp == "true") in.push_back(true);
else in.push_back(false);
}
else in.push_back(false);
}
l--;
int m = l+r+1;
int cx0 = x0-l+(m/2), cy0 = y0-l+(m/2);
vector<bool> inc;
for (int y = m; y >= -m; y -= 2*m){
for (int x = -m; x <= m; x += 2*m){
if (cx0+x <= n && cx0+x > 0 && cy0+y <= n && cy0+y > 0){
cout << "examine " << cx0+x << " " << cy0+y << endl;
string temp;
cin >> temp;
if (temp == "true") inc.push_back(true);
else inc.push_back(false);
}
else inc.push_back(false);
}
}
int xc = cx0, yc = cy0;
if (inc[0] && inc[1] && inc[2] && inc[3]){
vector<bool> inb;
for (int x = -m; x <= m; x += 2*m){
if (cx0+2*x <= n && cx0+2*x > 0){
cout << "examine " << cx0+2*x << " " << cy0 << endl;
string temp;
cin >> temp;
if (temp == "true") inb.push_back(true);
else inb.push_back(false);
}
else inb.push_back(false);
}
for (int y = m; y >= -m; y -= 2*m){
if (cy0+2*y <= n && cy0+2*y > 0){
cout << "examine " << cx0 << " " << cy0+2*y << endl;
string temp;
cin >> temp;
if (temp == "true") inb.push_back(true);
else inb.push_back(false);
}
else inb.push_back(false);
}
int xc = cx0, yc = cy0;
if (inb[0]) xc -= m;
if (inb[1]) xc += m;
if (inb[2]) yc += m;
if (inb[3]) yc -= m;
cout << "solution " << xc << " " << yc << endl;
return;
}
else {
if (inc[0]){
xc -= 2*m;
yc += 2*m;
}
if (inc[1]){
xc += 2*m;
yc += 2*m;
}
if (inc[2]){
xc -= 2*m;
yc -= 2*m;
}
if (inc[3]){
xc += 2*m;
yc -= 2*m;
}
if (xc == cx0-4*m) xc += 2*m;
if (xc == cx0+4*m) xc -= 2*m;
if (yc == cy0-4*m) yc += 2*m;
if (yc == cy0+4*m) yc -= 2*m;
cout << "solution " << xc << " " << yc << endl;
return;
}
}
int main(){
ios_base::sync_with_stdio(0);
cin.tie(0);
// int t;
// cin >> t;
// while (t--) solve();
solve();
return 0;
}
