#P1061E. Politics

Politics

Description

There are nn cities in the country.

Two candidates are fighting for the post of the President. The elections are set in the future, and both candidates have already planned how they are going to connect the cities with roads. Both plans will connect all cities using n1n - 1 roads only. That is, each plan can be viewed as a tree. Both of the candidates had also specified their choice of the capital among nn cities (xx for the first candidate and yy for the second candidate), which may or may not be same.

Each city has a potential of building a port (one city can have at most one port). Building a port in ii-th city brings aia_i amount of money. However, each candidate has his specific demands. The demands are of the form:

  • kk xx, which means that the candidate wants to build exactly xx ports in the subtree of the kk-th city of his tree (the tree is rooted at the capital of his choice).

Find out the maximum revenue that can be gained while fulfilling all demands of both candidates, or print -1 if it is not possible to do.

It is additionally guaranteed, that each candidate has specified the port demands for the capital of his choice.

The first line contains integers nn, xx and yy (1n5001 \le n \le 500, 1x,yn1 \le x, y \le n) — the number of cities, the capital of the first candidate and the capital of the second candidate respectively.

Next line contains integers a1,a2,,ana_1, a_2, \ldots, a_n (1ai1000001 \le a_i \le 100\,000) — the revenue gained if the port is constructed in the corresponding city.

Each of the next n1n - 1 lines contains integers uiu_i and viv_i (1ui,vin1 \le u_i, v_i \le n, uiviu_i \ne v_i), denoting edges between cities in the tree of the first candidate.

Each of the next n1n - 1 lines contains integers uiu'_i and viv'_i (1ui,vin1 \le u'_i, v'_i \le n, uiviu'_i \ne v'_i), denoting edges between cities in the tree of the second candidate.

Next line contains an integer q1q_1 (1q1n1 \le q_1 \le n), denoting the number of demands of the first candidate.

Each of the next q1q_1 lines contains two integers kk and xx (1kn1 \le k \le n, 1xn1 \le x \le n) — the city number and the number of ports in its subtree.

Next line contains an integer q2q_2 (1q2n1 \le q_2 \le n), denoting the number of demands of the second candidate.

Each of the next q2q_2 lines contain two integers kk and xx (1kn1 \le k \le n, 1xn1 \le x \le n) — the city number and the number of ports in its subtree.

It is guaranteed, that given edges correspond to valid trees, each candidate has given demand about each city at most once and that each candidate has specified the port demands for the capital of his choice. That is, the city xx is always given in demands of the first candidate and city yy is always given in the demands of the second candidate.

Print exactly one integer — the maximum possible revenue that can be gained, while satisfying demands of both candidates, or -1 if it is not possible to satisfy all of the demands.

Input

The first line contains integers nn, xx and yy (1n5001 \le n \le 500, 1x,yn1 \le x, y \le n) — the number of cities, the capital of the first candidate and the capital of the second candidate respectively.

Next line contains integers a1,a2,,ana_1, a_2, \ldots, a_n (1ai1000001 \le a_i \le 100\,000) — the revenue gained if the port is constructed in the corresponding city.

Each of the next n1n - 1 lines contains integers uiu_i and viv_i (1ui,vin1 \le u_i, v_i \le n, uiviu_i \ne v_i), denoting edges between cities in the tree of the first candidate.

Each of the next n1n - 1 lines contains integers uiu'_i and viv'_i (1ui,vin1 \le u'_i, v'_i \le n, uiviu'_i \ne v'_i), denoting edges between cities in the tree of the second candidate.

Next line contains an integer q1q_1 (1q1n1 \le q_1 \le n), denoting the number of demands of the first candidate.

Each of the next q1q_1 lines contains two integers kk and xx (1kn1 \le k \le n, 1xn1 \le x \le n) — the city number and the number of ports in its subtree.

Next line contains an integer q2q_2 (1q2n1 \le q_2 \le n), denoting the number of demands of the second candidate.

Each of the next q2q_2 lines contain two integers kk and xx (1kn1 \le k \le n, 1xn1 \le x \le n) — the city number and the number of ports in its subtree.

It is guaranteed, that given edges correspond to valid trees, each candidate has given demand about each city at most once and that each candidate has specified the port demands for the capital of his choice. That is, the city xx is always given in demands of the first candidate and city yy is always given in the demands of the second candidate.

Output

Print exactly one integer — the maximum possible revenue that can be gained, while satisfying demands of both candidates, or -1 if it is not possible to satisfy all of the demands.

Sample Input 1

4 1 2
1 2 3 4
1 2
1 3
3 4
1 2
2 3
1 4
2
1 3
4 1
1
2 3

Sample Output 1

9

Sample Input 2

5 1 1
3 99 99 100 2
1 2
1 3
3 4
3 5
1 3
1 2
2 4
2 5
2
1 2
3 1
2
1 2
2 1

Sample Output 2

198

Sample Input 3

4 1 2
1 2 3 4
1 2
1 3
3 4
2 1
2 4
4 3
1
1 4
2
4 1
2 4

Sample Output 3

-1

Note

In the first example, it is optimal to build ports in cities 22, 33 and 44, which fulfills all demands of both candidates and gives revenue equal to 2+3+4=92 + 3 + 4 = 9.

In the second example, it is optimal to build ports in cities 22 and 33, which fulfills all demands of both candidates and gives revenue equal to 99+99=19899 + 99 = 198.

In the third example, it is not possible to build ports in such way, that all demands of both candidates are specified, hence the answer is -1.