Description

Facer was addicted to a popular game called "Plants VS Zombies". After Facer had completed all missions, he started to play the zombies' role to destroy plants and called the new game "Zombies VS Plants".

In the game "Zombies VS Plants", there are 3 kinds of zombies: Little Zombie, Adult Zombie and Football player. Different zombies have different price and different "attacking value" indicating the capability to attack, as shown in the table below:

Zombie name	Attacking value	Price for one (in dollars)
Little Zombie	40	50
Adult Zombie	70	75
Football player	200	100

Spiders also can destroy the plants. Every spider costs 125 dollars.

There are 4 kinds of plants: Sunflower, Bean, Magnet and Lettuce. Every plant has a "defending value" indicating it's capability of defense.

Facer's mission is to destroy ALL the plants in the field. In order to destroy plants, Facer needs to buy zombies or spiders and put them into the field. The plants field can be considered as a 5 x 5 grid (of course 25 cells), as shown in the figure below:

(1,1)	(1,2)	(1,3)	(1,4)	(1,5)
(2,1)	(2,2)	(2,3)	(2,4)	(2,5)
(3,1)	(3,2)	(3,3)	(3,4)	(3,5)
(4,1)	(4,2)	(4,3)	(4,4)	(4,5)
(5,1)	(5,2)	(5,3)	(5,4)	(5,5)

Plants field

There is a plant in every cell. Facer can destroy plants only by two ways:

1. If Facer puts one or more zombies together into a row of the field, and the sum of those zombies' attacking values is larger than the sum of defending values of the plants in the same row, all plants in that row will be destroyed.


2. Putting a spider in a cell will destroy the plant in it. But there are some exceptions as shown in the description of plant ``Lettuce" in a table below.

Once a zombie is put into the plants field, it dies immediately after destroying the plants. So does a spider. In other words, Facer can use a zombie or a spider only once.

This is a table describing the features of different kinds of plants:

Plant name	Defending value	Special features
Sunflower	0	None
Bean	100	None
Magnet	0	A magnet can make the attacking value of the football players in the same row and the adjacent rows become 50. For example, if there is a magnet in row 3, the attacking value of all football players Facer put into row 2, 3 and 4 will become 50.
Lettuce	0	Spiders can't destroy a lettuce and the plants in the eight cells around the lettuce. For example, if there is a lettuce at cell (3,3), spiders can't destroy the lettuce and the plants in (2,2), (2,3), (2,4), (3,2), (3,4), (4,2), (4,3) and (4,4).

Facer can earn P₁

dollars after destroying a row of plants, and destroying a sunflower will earn extra P2 dollars for him. Facer has P3 dollars but no zombies and no spiders at the begging. Of course Facer can use the money he earned to buy zombies and spiders. Your job is helping Facer to accomplish his mission and keep money as much as possible after the mission.

Input

There are multiple test cases.

The first line in the input is a integer T indicating the number of test cases. (1 < T <= 400)

For each test case:

First line contains three integers P₁

, P

₂

and P

₃

(0 <= P

₁

, P

₂

, P

₃

<= 10000), meaning that Facer earns P

₁

dollars after destroying a row of plants and earns P

₂

dollars after destroying a sunflower, and Facer has P

₃

dollars at the beginning.

Following are 5 lines describing the plants field by top to bottom order. Each line contains 5 integers, telling what's in the cells of a row, by left to right order. For those 5 integers:

"1" represents a sunflower.

"2" represents a bean.

"3" represents a magnet.

"4" represents a lettuce.

Output

For each test case, output one line containing an integer indicating the maximum amount of dollars Facer can keep after he accomplishes the mission. If Facer can't destroy all the plants, print '-1' instead.

2
100 100 10000
2 2 2 2 2
2 3 2 2 2
3 3 4 3 2
2 3 2 2 2
2 2 2 2 2
0 0 0
2 2 2 2 2
2 2 2 2 2
2 2 2 2 2
2 2 2 2 2
2 2 2 2 2

9025
-1

Source

Ningbo 2009