import sys
input = sys.stdin.readline

N=int(input())
E=[[] for i in range(N)]
for i in range(N-1):
    a,b=map(int,input().split())
    a-=1
    b-=1
    E[a].append(b)
    E[b].append(a)

ROOT=0

QUE=[ROOT] 
Parent=[-1]*(N+1)
Parent[ROOT]=N # ROOTの親を定めておく.
Child=[[] for i in range(N+1)]
TOP_SORT=[] # トポロジカルソート

while QUE: # トポロジカルソートと同時に親を見つける
    x=QUE.pop()
    TOP_SORT.append(x)
    for to in E[x]:
        if Parent[to]==-1:
            Parent[to]=x
            Child[x].append(to)
            QUE.append(to)

A=list(map(int,input().split()))
ANS=0
for x in TOP_SORT[::-1]:
    if x==ROOT:
        break

    if A[x]==0:
        A[x]^=1
        A[Parent[x]]^=1
        ANS+=1

if A[ROOT]==1:
    print(ANS)
else:
    print(-1)