#include<iostream>
#include<string>
#include<cstdio>
#include<vector>
#include<cmath>
#include<algorithm>
#include<functional>
#include<iomanip>
#include<queue>
#include<ciso646>
#include<random>
#include<map>
#include<set>
#include<complex>
#include<bitset>
#include<stack>
#include<unordered_map>
#include<utility>
#include<tuple>
using namespace std;
typedef long long ll;
typedef unsigned int ui;
const ll mod = 1000000007;
const ll INF = (ll)1000000007 * 1000000007;
typedef pair<int, int> P;
#define stop char nyaa;cin>>nyaa;
#define rep(i,n) for(int i=0;i<n;i++)
#define per(i,n) for(int i=n-1;i>=0;i--)
#define Rep(i,sta,n) for(int i=sta;i<n;i++)
#define Per(i,sta,n) for(int i=n-1;i>=sta;i--)
#define rep1(i,n) for(int i=1;i<=n;i++)
#define per1(i,n) for(int i=n;i>=1;i--)
#define Rep1(i,sta,n) for(int i=sta;i<=n;i++)
typedef long double ld;
const ld eps = 1e-8;
const ld pi = acos(-1.0);
typedef pair<ll, ll> LP;
int dx[4]={1,-1,0,0};
int dy[4]={0,0,1,-1};

int n,m;
int a[200010];
map<P,int> grundy;
vector<int> G[200010];

int dfs(int s,int par){
    if(grundy[P(s,par)]) return grundy[P(s,par)]-1;
    vector<bool> used(20,false);
    for(int t:G[s]){
        if(t==par) continue;
        used[dfs(t,s)]=true;
    }
    rep(i,20){
        if(!used[i]) {
            grundy[P(s,par)]=i+1;
            return i;
        }
    }
    return 0;
}

void solve(){
    cin >> n >> m;
    rep(i,m) {
        cin >> a[i];
        a[i]--;
    }
    rep(i,n-1){
        int u,v;cin >> u >> v;u--;v--;
        G[u].push_back(v);
        G[v].push_back(u);
    }
    int x=0;
    rep(i,m){
        int s=dfs(a[i],-1);
        x^=s;
    }
    if(x==0){
        cout << -1 << " " << -1 << endl;
    }
    rep(i,m){
        int s=dfs(a[i],-1);
        if((x^s)<s){
            for(int t:G[a[i]]){
                if((x^s)==dfs(t,s)){
                    cout << i+1 << " " << t+1 << endl;
                    return;
                }
            }
        }
    }
}

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout << fixed << setprecision(50);
    solve();
}