// by szh
#include<bits/stdc++.h>
using namespace std;

typedef long long LL;

#define F first
#define S second
#define pii pair<LL, LL>
#define pb push_back
#define debug(x) cerr << #x << "=" << x << endl
#define pq priority_queue
#define inf 0x3f
#define rep(i,a,b) for (int i=a; i < (b); i++)
#define MP make_pair
#define SZ(x) (static_cast<int>(x.size()))
#define MOD 1000000007
#define ALL(x) x.begin(), x.end()
void inc(int &a, int b) {a = (a+b)%MOD;}
void dec(int &a, int b) {a = (a-b+MOD)%MOD;}
int prod(int a,int b) {return LL(a)*LL(b)%MOD;}
int lowbit(int x) {return x&(-x);}

const int maxn = 555;

int n;
int deg[maxn];
vector <int> edge[maxn];

vector <int> leaf, candidate;

int main() {
  // freopen("input.txt","r",stdin);
  cin >> n;
  rep(i, 1, n) {
	int u, v;
	cin >> u >> v;
	edge[u].pb(v);
	edge[v].pb(u);
	deg[u]++;
	deg[v]++;
  }
  rep(i, 1, n + 1) {
	if (deg[i] == 1) continue;
	cout << "? " << n - 1;
    rep(j, 1, n + 1) if (i != j) cout << " " << j;
    cout << endl;
    cout.flush();
    string s;
    cin >> s;
    if (s == "NO") {
	  cout << "! " << i << endl;
	  cout.flush();
	  return 0;
	}
  }
  // root is a leaf
  rep(i, 1, n + 1) if (deg[i] == 1) {
	for (int v : edge[i]) if (SZ(edge[v]) >= 3) {
	  cout << "? 2 ";
	  int x = edge[v][0], y = edge[v][1];
	  if (x == i) x = edge[v][2];
	  else if (y == i) y = edge[v][2];
	  cout << x << " " << y << endl;
	  string s;
	  cin >> s;
	  
	  if (s == "YES") break;
	  
	  cout << "? 3 " << x << " " << y << " " << i << endl;
	  string s1;
	  cin >> s1;
	  if (s1 == "YES") {
		cout << "! " << i << endl;
		return 0;
	  }
	  break;
	}
  }
  rep(i, 1, n + 1) {
	if (deg[i] == 1) leaf.pb(i);
	else candidate.pb(i);
  }
  while (SZ(candidate) > 1) {
	int mid = SZ(candidate)/2;
    cout << "? ";
    for (auto it : leaf) cout << it << " ";
    rep(i, 0, mid) cout << candidate[i] << " ";
    cout << endl; cout.flush();
    string s; cin >> s;
    if (s == "YES") {
	  while (SZ(candidate) > mid) candidate.pop_back();
	}
    else {
	  vector <int> tmp;
	  rep(i, mid, SZ(candidate)) tmp.pb(candidate[i]);
	  candidate = tmp;
	}
  }
  cout << "! " << candidate[0] << endl;
  cout.flush();
  return 0;
}