#include <bits/stdc++.h>

using namespace std;

#ifdef DEBUG
auto&operator<<(auto&o,pair<auto,auto>p){return o<<"("<<p.first<<", "<<p.second<<")";}
auto operator<<(auto&o,auto x)->decltype(x.end(),o){o<<"{";int i=0;for(auto e:x)o<<","+!i++<<e;return o<<"}";}
#define debug(X...)cerr<<"["#X"]: ",[](auto...$){((cerr<<$<<"; "),...)<<endl;}(X)
#else
#define debug(...){}
#endif

#define ll long long
#define ld long double
#define endl '\n'
#define st first
#define nd second
#define pb push_back
#define sz(x) (int)(x).size()
#define all(x) (x).begin(), (x).end()
#define FOR(i,l,r) for(int i=(l);i<=(r);i++)
#define ROF(i,r,l) for(int i=(r);i>=(l);i--)
int inf=1000000007;
ll infl=1000000000000000007;
ll mod=1000000007;
ll mod1=998244353;

const int N=207;

ll p[N];
vector<int>G[N];
int n;

ll DP0[N],DP1[N],DP2[N],DP3[N];
int zkad0a[N],zkad0b[N];
int zkad3a[N],zkad3b[N],zkad3c[N];
int zkad1[N];
int zkad2[N];
int O[N];

void dfs(int v,int o)
{
	O[v]=o;
	vector<int>X;
	ll S=0,T;
	for(auto u:G[v])
	{
		if(u==o) continue;
		dfs(u,v);
		X.pb(u);
		S+=p[u];
	}
	int m=sz(X);
	//policzmy DP0
	DP0[v]=p[v];
	FOR(i,0,m-1)
	{
		if(DP3[X[i]]+p[v]>=DP0[v])
		{
			DP0[v]=DP3[X[i]]+p[v];
			zkad0a[v]=X[i];
			zkad0b[v]=-1;
		}
		FOR(j,0,m-1)
		{
			if(i==j) continue;
			T=DP1[X[i]]-p[X[i]]+DP0[X[j]]-p[X[j]]+S+p[v];
			if(v==1) debug(X[i],X[j],T,DP1[X[i]],DP0[X[j]]);
			if(T>=DP0[v])
			{
				DP0[v]=T;
				zkad0a[v]=X[i];
				zkad0b[v]=X[j];
			}
		}
	}
	//policzmy DP1
	DP1[v]=p[v]+S;
	zkad1[v]=-1;
	for(auto u:X)
	{
		T=DP2[u]+p[v];
		if(T>=DP1[v])
		{
			DP1[v]=T;
			zkad1[v]=u;
		}
	}
	//policzmy DP2
	DP2[v]=p[v]+S;
	for(auto u:X)
	{
		T=DP1[u]-p[u]+p[v]+S;
		if(T>=DP2[v])
		{
			DP2[v]=T;
			zkad2[v]=u;
		}
	}
	//policzmy DP3
	DP3[v]=p[v];
	FOR(i,0,m-1) 
	{
		T=DP3[X[i]]-p[X[i]]+p[v]+S;
		if(T>=DP3[v])
		{
			DP3[v]=T;
			zkad3a[v]=X[i];
			zkad3b[v]=-1;
			zkad3c[v]=-1;
		}
		FOR(j,0,m-1)
		{
			if(i==j) continue;
			T=DP2[X[i]]-p[X[i]]+DP3[X[j]]-p[X[j]]+p[v]+S;
			if(T>=DP3[v])
			{
				DP3[v]=T;
				zkad3a[v]=X[i];
				zkad3b[v]=X[j];
				zkad3c[v]=-1;
			}
			FOR(l,0,m-1)
			{
				if(i==l||j==l) continue;
				T=DP2[X[i]]-p[X[i]]+DP1[X[j]]-p[X[j]]+DP0[X[l]]-p[X[l]]+S+p[v];
				if(T>=DP3[v])
				{
					DP3[v]=T;
					zkad3a[v]=X[i];
					zkad3b[v]=X[j];
					zkad3c[v]=X[l];
				}
			}
		}
	}
	debug(v,DP0[v],DP1[v],DP2[v],DP3[v]);
}
vector<int>ans;

void calc0(int v);
void calc1(int v);
void calc2(int v);
void calc3(int v);

void calc0(int v)
{
	debug(v,"0");
	if(v==0) return ;
	ans.pb(v);
	if(zkad0b[v]==-1) calc3(zkad0a[v]);
	else
	{
		calc1(zkad0a[v]);
		for(auto u:G[v]) if(u!=O[v]&&u!=zkad0a[v]&&u!=zkad0b[v]) ans.pb(u);
		calc0(zkad0b[v]);
	}
}
void calc1(int v)
{
	debug(v,"1");
	if(v==0) return ;
	if(zkad1[v]==-1) 
	{
		for(auto u:G[v]) if(u!=O[v]) ans.pb(u);
	}
	else calc2(zkad1[v]);
	ans.pb(v);
}
void calc2(int v)
{
	debug(v,"2");
	if(v==0) return ;
	ans.pb(v);
	debug(ans);
	calc1(zkad2[v]);
	for(auto u:G[v]) if(u!=O[v]&&u!=zkad2[v]) ans.pb(u);
}
void calc3(int v)
{
	debug(v,"3");
	if(v==0) return ;
	if(zkad3b[v]==-1) 
	{
		for(auto u:G[v]) if(u!=O[v]&&u!=zkad3a[v]) ans.pb(u);
		ans.pb(v);
		calc3(zkad3a[v]);
	}
	else if(zkad3c[v]==-1)
	{
		for(auto u:G[v]) if(u!=O[v]&&u!=zkad3a[v]&&u!=zkad3b[v]) ans.pb(u);
		calc2(zkad3a[v]);
		ans.pb(v);
		calc3(zkad3b[v]);
	}
	else
	{
		calc2(zkad3a[v]);
		ans.pb(v);
		calc1(zkad3b[v]);
		for(auto u:G[v]) if(u!=O[v]&&u!=zkad3a[v]&&u!=zkad3b[v]&&u!=zkad3c[v]) ans.pb(u);
		calc0(zkad3c[v]);
	}
	
}

void k2()
{
	dfs(1,0);
	calc0(1);
	//cout<<DP0[1]<<endl;
	cout<<DP0[1]<<endl<<sz(ans)<<endl;
	for(auto x:ans) cout<<x<<" ";
	cout<<endl;
}

signed main()
{
	ios_base::sync_with_stdio(0);
	cin.tie(0);
	cout.tie(0);
	int k;
	cin>>n>>k;
	FOR(i,1,n-1)
	{
		int a,b;
		cin>>a>>b;
		G[a].pb(b);
		G[b].pb(a);
	}
	FOR(i,1,n) cin>>p[i];
	if(k==2) k2();
	
	
	return 0;
}