#include <bits/stdc++.h>
using namespace std;
//#define int long long
int n;int m;int K;int Q;
map<pair<int,pair<int,int>>,int>mp;
int ask(int x,int y,int z){
if(x==0){return 0;}
if(x==n+1){return 0;}
if(mp[{x,{y,z}}]){return mp[{x,{y,z}}];}
cout<<"? "<<x<<" "<<y<<" "<<z<<endl;
int ret;
cin>>ret;
mp[{x,{y,z}}]=ret;
return ret;
}
void ot(int x,int y,int z){
cout<<"! "<<x<<" "<<y<<" "<<z<<endl;
exit(0);
}
void chk(int x){
int a;int b;int c;
a=ask(x-1,1,1);
b=ask(x,1,1);
c=ask(x+1,1,1);
if(b>=a&&b>=c){
ot(x,1,1);
}
}
signed main(){
cin>>n>>m>>K>>Q;
int l=1;int r=n;
int a;int b;int c;int d;
a=ask(1,1,1);
b=ask(2,1,1);
c=ask(n-1,1,1);
d=ask(n,1,1);
if(a>=b){ot(1,1,1);}
if(d>=c){ot(n,1,1);}
while(l<r){
int mi=l+(r-l)/2;
int v=ask(mi,1,1);
if(v>=a){
r=mi;b=v;
}else{
l=mi;a=v;
}
if(l+1==r){
chk(l);
chk(r);
}
if(l+2==r){
chk(l);
chk(l+1);
chk(l+2);
}
}
for(int i=l-2;i<=l+2;i++){
if(i>=1&&i<=n){
chk(i);
}
}
}
