#213292. [GCJ 2017 Finals] Dice Straight

You have a special set of six-sided dice, each of which has six different positive integers on its faces. Different dice may have different numberings.

You want to arrange some or all of the dice in a row such that the faces on top form a straight (that is, they show consecutive integers). For each die, you can choose which face is on top.

How long is the longest straight that can be formed in this way?

The first line of the input gives the number of test cases, . test cases follow. Each test case begins with one line with , the number of dice. Then, more lines follow; each of them has six positive integers . The -th number on the -th of these lines gives the number on the -th face of the -th die.

For each test case, output one line containing Case #x: y, where is the test case number (starting from 1) and is the length of the longest straight that can be formed.

样例输入 1

3
4
4 8 15 16 23 42
8 6 7 5 30 9
1 2 3 4 55 6
2 10 18 36 54 86
2
1 2 3 4 5 6
60 50 40 30 20 10
3
1 2 3 4 5 6
1 2 3 4 5 6
1 4 2 6 5 3

样例输出 1

Case #1: 4
Case #2: 1
Case #3: 3

Sample Explanation

In sample case #1, a straight of length can be formed by taking the from the fourth die, the 3 from the third die, the from the first die, and the from the second die.

In sample case #2, there is no way to form a straight larger than the trivial straight of length .

In sample case #3, you can take a from one die, a from another, and a from the remaining unused die. Notice that this case demonstrates that there can be multiple dice with the same set of values on their faces.

Limits

• .
• for all .

Small dataset (10 Pts, Test Set 1 - Visible)

• Time limit: 60 15 seconds.
• .

Large dataset (15 Pts, Test Set 2 - Hidden)

• Time limit: 120 30 seconds.
• .
• The sum of across all test cases .