mod = 998244353 def main(): import sys from collections import deque input = sys.stdin.readline N = int(input()) adj = [[] for _ in range(N+1)] for _ in range(N-1): a, b = map(int, input().split()) adj[a].append(b) adj[b].append(a) C = [0] + list(map(int, input().split())) que = deque() que.append(1) seen = [-1] * (N+1) seen[1] = 0 par = [0] * (N+1) child = [[] for _ in range(N+1)] seq = [] while que: v = que.popleft() seq.append(v) for u in adj[v]: if seen[u] == -1: seen[u] = seen[v] + 1 par[u] = v child[v].append(u) que.append(u) seq.reverse() ans = 0 for v in seq: if v == 1: if C[v] == 0: print(-1) exit() else: p = par[v] if C[v] == 0: C[v] = 1 C[p] ^= 1 ans += 1 print(ans) if __name__ == '__main__': main()