// luogu-judger-enable-o2

 /*

     Problem:    P1351 联合权值

     Author:     航空信奥

     Date:       2018/08/18

     Upload:     Luogu

     P.s.:       use-v4

 */

 #pragma GCC optimize("O1")

 #pragma GCC optimize("O2")

 #pragma GCC optimize("O3")

 #include <stdio.h>

 #include <string.h>

 #include <vector>

 using namespace std;

 namespace AuthorName { /* 防重名 */

     template <typename _TpInt> inline _TpInt read();

     template <typename _TpInt> inline void write(_TpInt x);

 #   define Online_Judge

 #   define Max_N

 #   define Mod 

     vector<vector<int> > g;

     int *w;

     int maxx = , sum = ;

     void work(int p)

     {

         int max_1st = , max_2nd = , temp_sum = ;

         for (size_t i = ; i < g[p].size(); i++) {

             if (w[g[p][i]] > max_1st) {

                 max_2nd = max_1st;

                 max_1st = w[g[p][i]];

             }

             else if (w[g[p][i]] > max_2nd) {

                 max_2nd = w[g[p][i]];

             }

             sum = (sum + temp_sum * w[g[p][i]]) % Mod;

             temp_sum = (temp_sum + w[g[p][i]]) % Mod;

         }

         maxx = max(maxx, max_1st * max_2nd);

     } 

     int main()

     {

         int n;

         n = read<int>();

         g.resize(n + );

         w = new int[n + ];

         int u, v;

         for (int i = ; i < n; i++) {

             u = read<int>();

             v = read<int>();

             g[u].push_back(v);

             g[v].push_back(u);

         }

         for (int i = ; i <= n; i++) {

             w[i] = read<int>();

         }

         for (int i = ; i <= n; i++) {

             work(i);

         }

         write(maxx), putchar(), write((sum << ) % Mod), putchar();

         return ;

     }

 #ifdef Online_Judge

     char BufferRead[ << ];

     int rLen = , rPos = ;

     inline char Getchar()

     {

         if (rPos == rLen) rPos = , rLen = fread(BufferRead, ,  << , stdin);

         if (rPos == rLen) return EOF;

         return BufferRead[rPos++];

     }

 #else

 #   define Getchar() getchar()

 #endif

     template <typename _TpInt>

     inline _TpInt read()

     {

         register int flag = ;

         register char c = Getchar();

         while ((c > '' || c < '') && c != '-')

             c = Getchar();

         if (c == '-') flag = -, c = Getchar();

         register _TpInt init = (c & );

         while ((c = Getchar()) <= '' && c >= '')

             init = (init << ) + (init << ) + (c & );

         return init * flag;

     }

     template <typename _TpInt>

     inline void write(_TpInt x)

     {

         if (x < ) {

             putchar('-');

             write<_TpInt>(~x + );

         }

         else {

             if (x > ) write<_TpInt>(x / );

             putchar(x %  + '');

         }

     }

 }

 int main()

 {

     AuthorName::main();

     return ;

 }