#Lutece1220. The Battle of Guandu
The Battle of Guandu
Migrated from Lutece 1220 The Battle of Guandu
All parts of this problem, including description, images, samples, data and checker, might be broken. If you find bugs in this problem, please contact the admins.
Description
In the year of , two generals whose names are Cao Cao and Shao Yuan are fighting in Guandu. The battle of Guandu was a great battle and the two armies were fighting at different battlefields whose numbers were to . There were also villages nearby numbered from to . Cao Cao could train some warriors from those villages to strengthen his military. For village , Cao Cao could only call for some number of warriors join the battlefield . However, Shao Yuan's power was extremely strong at that time. So in order to protect themselves, village would also send equal number of warriors to battlefield and join the Yuan Shao's Army. If Cao Cao had called for one warrior from village , he would have to pay units of money for the village. There was no need for Cao Cao to pay for the warriors who would join Shao Yuan's army. At the beginning, there were no warriors of both sides in every battlefield.
As one of greatest strategist at that time, Cao Cao was considering how to beat Shao Yuan. As we can image, the battlefields would have different level of importance . Some of the battlefields with were very important, so Cao Cao had to guarantee that in these battlefields, the number of his warriors was greater than Shao Yuan's. And some of the battlefields with were not as important as before, so Cao Cao had to make sure that the number of his warriors was greater or equal to Shao Yuan's. The other battlefields with had no importance, so there were no restriction about the number of warriors in those battlefields. Now, given such conditions, could you help Cao Cao find the least number of money he had to pay to win the battlefield?
Input
The first line of the input gives the number of test cases, (). test cases follow.
Each test case begins with two integers and () in one line.
The second line contains integers separated by blanks. The integer () means Cao Cao could call for warriors from village to battlefield .
The third line also contains integers separated by blanks. The integer () means if Cao Cao called some number of warriors from village , there would be the same number of warriors join Shao Yuan's army and fight in battlefield .
The next line contains integers separated by blanks. The integer () means the number of money Cao Cao had to pay for each warrior from this village.
The last line contains integers separated by blanks. The number () means the importance level of battlefield.
Output
For each test case, output one line containing Case #x: y
, where is the test case number (starting from ) and is the least amount of money that Cao Cao had
to pay for all the warriors to win the battle. If he couldn't win, .
Samples
2
2 3
2 3
1 1
1 1
0 1 2
1 1
1
1
1
2
Case #1: 1
Case #2: -1
Resources
The 2015 China Collegiate Programming Contest