Two players, Red and Blue, are at it again, and this time they're playing with crayons! The mischievous duo is now vandalizing a rooted tree, by coloring the nodes while playing their favorite game.
The game works as follows: there is a tree of size , rooted at node , where each node is initially white. Red and Blue get one turn each. Red goes first.
In Red's turn, he can do the following operation any number of times:
- Pick any subtree of the rooted tree, and color every node in the subtree red.
Then, it's Blue's turn. Blue can do the following operation any number of times:
- Pick any subtree of the rooted tree, and color every node in the subtree blue. However, he's not allowed to choose a subtree that contains a node already colored red, as that would make the node purple and no one likes purple crayon.
After the two turns, the score of the game is determined as follows: let be the number of white nodes, be the number of red nodes, and be the number of blue nodes. The score of the game is .
Red wants to maximize this score, and Blue wants to minimize it. If both players play optimally, what will the final score of the game be?
The first line contains two integers and (; ) — the number of vertices in the tree and the maximum number of red nodes.
Next lines contains description of edges. The -th line contains two space separated integers and (; ) — the -th edge of the tree.
It's guaranteed that given edges form a tree.
Print one integer — the resulting score if both Red and Blue play optimally.
4 2 1 2 1 3 1 4
1
5 2 1 2 2 3 3 4 4 5
6
7 2 1 2 1 3 4 2 3 5 6 3 6 7
4
4 1 1 2 1 3 1 4
-1
ConversionConversion EmoticonEmoticon