// 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, leaff, candidate;

int main() {
  //debug(((10 <= 9) ? 83: max(10, int(83 * (1 - log(10 - 6.0) / 7)))));
  // 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
  
  if (SZ(leaf) == 1) {
	cout << "! " << leaf[0] << endl;
  }
  for (auto it : leaf) {
	cout << "? " << SZ(leaf) - 1;
	for (auto itt : leaf) {
	  if (it == itt) continue;
	  cout << " " << itt;
	}
	cout << endl;
	string s;
	cin >> s;
	if (s == "NO") {
	  cout << "! " << it << endl;
	  return 0;
    }
  }
  */
  //idea: check leaves first, then go through non-leaf node
  rep(i, 1, n + 1) {
	if (deg[i] == 1) leaf.pb(i);
	else candidate.pb(i);
  }
  leaff = leaf;
  for (auto it : candidate) leaf.pb(it);
  while (SZ(leaf) > 2) {
	  int mid = (SZ(leaf) + 1) / 2;
	  cout << "? " << mid;
	  rep(i, 0, mid) cout << " " << leaf[i];
	  cout << endl;
	  string ss; cin >> ss;
	  if (ss == "YES") {
		while (SZ(leaf) > mid) leaf.pop_back();
	  }
	  else {
		vector <int> tmp;
		rep(i, mid, SZ(leaf)) tmp.pb(leaf[i]);
		leaf = tmp;
	  }
  }
  if (SZ(leaf) == 1) cout << "! " << leaf[0] << endl;
  else {
	if (deg[leaf[0]] == 1 and deg[leaf[0]] == 1) {
      cout << "? " << SZ(leaff) - 1;
	  for (auto it : leaff) if (it != leaf[0]) cout << " " << it;
	  cout << endl;
	  string ss;
	  cin >> ss;
	  if (ss == "NO") cout << "! " << leaf[0] << endl;
	  else cout << "! " << leaf[1] << endl;
    } else if (deg[leaf[0]] == 1) {
	  cout << "? " << SZ(leaff);
	  for (auto it : leaff) cout << " " << it;
	  cout << endl;
	  string ss;
	  cin >> ss;
	  if (ss == "YES") cout << "! " << leaf[0] << endl;
	  else cout << "! " << leaf[1] << endl;
	} else {
	  cout << "? " << n - 1;
	  rep(i, 1, n + 1) if (i != leaf[0]) cout << " " << i;
	  cout << endl;
	  string ss;
	  cin >> ss;
	  if (ss == "NO") cout <<"! " << leaf[0] << endl;
	  else cout <<"! " << leaf[1] << endl;
	}
  }
  return 0;
}