#include <iostream>
#include <istream>
#include <sstream>
#include <vector>
#include <stack>
#include <list>
#include <map>
#include <set>
#include <deque>
#include <queue>
#include <cstring>
#include <unordered_map>
#include <unordered_set>
#include <algorithm>
#include <numeric>
#include <chrono>
#include <ctime>
#include <cmath>
#include <cctype>
#include <string>
#include <cstdio>
#include <iomanip>
#include <thread>
#include <mutex>
#include <condition_variable>
#include <functional>
#include <iterator>
using namespace std;
const int maxn = 15,maxm = 1e6;
struct Node {
Node() :robot(0), stone(0) {}
Node(int a, int b) :robot(a), stone(b) {}
int robot;
int stone;
}node[maxm], res[maxm];
int vis[1 << maxn][maxn],n,m,s,t,before[maxm],cnt[maxm];
vector<int> g[maxn];
void printAns(int cur) {
if (cur == 0) return;
printAns(before[cur]);
cout << res[cur].robot << " " << res[cur].stone << endl;
}
void bfs()
{
int head = 0, tail = 1,over = (t - 1);
memset(vis, 0, sizeof(vis));
vis[node[0].stone][node[0].robot] = 1;
before[0] = -1;
cnt[0] = 0;
Node cur;
while (head < tail) {
cur = node[head];
if (cur.robot == over) {
cout << cnt[head] << endl;
printAns(head);
return;
}
for (int i = 0; i < n; i++) {
if (!((1 << i) & cur.stone)) continue;
for (int j = 0; j < g[i].size(); j++) {
int a = g[i][j];
if(((1 << a) & cur.stone)) continue;
Node& next = node[tail];
next = cur;
if (next.robot == i) next.robot = a;
next.stone = (next.stone & ~(1 << i)) | (1 << a);
if(vis[next.stone][next.robot]) continue;
vis[next.stone][next.robot] = 1;
before[tail] = head;
res[tail] = Node(i+1, a+1);
cnt[tail] = cnt[head] + 1;
++tail;
}
}
++head;
}
}
int main()
{
int cnt, kcase = 0,temp,a,b;
cin >> cnt;
while (cnt--)
{
cin >> n >> m >> s >> t;
node[0].robot = (s - 1);
node[0].stone = 1 << (s - 1);
for (int i = 0; i < m; i++) {
cin >> temp;
node[0].stone |= 1 << (temp - 1);
}
for (int i = 0; i < maxn; i++) g[i].clear();
for (int i = 1; i < n; i++) {
cin >> a >> b;
g[a-1].push_back(b-1);
g[b-1].push_back(a-1);
}
cout << "Case " << ++kcase << ": ";
bfs();
}
return 0;
}