/**************************************************************
Problem: 4472
User: ecnu161616
Language: C++
Result: Accepted
Time:632 ms
Memory:9392 kb
****************************************************************/
#include <bits/stdc++.h>
using namespace std;
#define fi first
#define se second
typedef pair<int, int> pii;
vector<int> g[200010];
int vis[200010], n;
int val[200010], uniq[200010];
int benef[200010], maxstay[200010];
void dfs(int u) {
vis[u] = 1;
// printf("%d\n", u);
if (g[u].size() == 1) { // LEAF NODE
uniq[u] = 0;
val[u] = benef[u];
return;
}
vector<pii> vs;
for (int i = 0; i < g[u].size(); ++i) if (!vis[g[u][i]]) {
int v = g[u][i]; dfs(v);
vs.push_back(make_pair(val[v], uniq[v]));
}
sort(vs.begin(), vs.end());
reverse(vs.begin(), vs.end());
int sz = min((int)vs.size(), maxstay[u] - 1);
while (sz > 0 && vs[sz - 1].fi <= 0) --sz;
uniq[u] = (vs.size() > sz && (vs[sz].fi == 0 || vs[sz - 1].fi == vs[sz].fi));
val[u] = benef[u];
for (int i = 0; i < sz; ++i) {
val[u] += vs[i].fi;
uniq[u] |= vs[i].se;
}
// printf("%d\n", u);
}
int main()
{
#ifdef ULTMASTER
freopen("a.in","r",stdin);
#endif
scanf("%d", &n);
for (int i = 2; i <= n; ++i)
scanf("%d", &benef[i]);
for (int i = 2; i <= n; ++i)
scanf("%d", &maxstay[i]);
maxstay[1] = 1e9;
for (int i = 1; i <= n - 1; ++i) {
int u, v;
scanf("%d %d", &u, &v);
// printf("%d %d\n", u, v);
g[u].push_back(v);
g[v].push_back(u);
}
dfs(1);
printf("%d\n", val[1]);
if (uniq[1]) printf("solution is not unique\n");
else printf("solution is unique\n");
return 0;
}