//interactive

#include <unistd.h>

ll q(ll i,ll j,ll x){
	wt("?",i,x,j,x);
	char r[8];
	rd(r);
	return r[0]=='N'?i:j;
}

{
	if(fork()){
		_exit(0);
	}
	ll@n,a,b,c;
	a=q(q(1,2,2n),3,2n);
	b=q(a%3+1,(a+1)%3+1,n);
	c=6-a-b;
	wtN("!");
	rep(n){
		wtF(" {a} {b}");
	}
	rep(n){
		wtF(" {a} {c}");
	}
	rep(n){
		wtF(" {b} {c}");
	}
	wt("");
}