주스 (작은 입력)

파티를 열려고 한다. 파티에서 낼 음료는 사과 주스, 바나나 주스, 당근 주스 세 가지를 섞어서 만들며, 각각을 $A$, $B$, $C$라고 하자.

음료에서 세 주스가 각각 차지하는 비율 $a$, $b$, $c$를 정해야 한다. 세 값은 $0$ 이상의 실수이고 $a + b + c = 1$이다. 목표는 파티에 오는 사람 중 이 음료를 마음에 들어 하는 사람 수를 최대로 만드는 것이다.

사람마다 각 주스가 최소한 얼마나 들어가야 하는지 정해 둔 비율이 있다. 세 주스의 비율이 모두 그 사람이 정한 최소 비율 이상일 때만 그 사람은 음료를 마음에 들어 한다. 하나라도 모자라면 마음에 들어 하지 않는다.

음료를 가장 잘 정했을 때 만족시킬 수 있는 사람 수의 최댓값을 구하라.

첫째 줄에 테스트 케이스의 개수 $T$가 주어진다.

각 테스트 케이스는 다음과 같이 이어진다.

• 첫째 줄에 파티에 오는 사람 수 $N$이 주어진다.
• 다음 $N$개 줄에 사람마다 원하는 최소 비율 $A$, $B$, $C$가 공백으로 구분되어 주어진다. 세 값은 만분율, 즉 전체를 $10000$으로 봤을 때의 정수이며 $0$ 이상 $10000$ 이하이다. 또 $A + B + C \le 10000$이다.

제한

• $1 \le T \le 12$
• $1 \le N \le 10$

테스트 케이스마다 한 줄에 Case #X: Y 형식으로 출력한다. $X$는 $1$부터 시작하는 테스트 케이스 번호이고, $Y$는 음료를 마음에 들어 하는 사람 수의 최댓값이다. 입력에 주어진 순서대로 출력한다.

예제의 첫 번째 테스트 케이스에서는 세 사람이 각각 음료 전체가 자기가 고른 주스 하나로만 이루어지기를 원한다. 그래서 한 명만 만족시킬 수 있다.

두 번째 테스트 케이스에서는 세 명 중 어느 두 명이든 골라서 동시에 만족시킬 수 있다.

세 번째 테스트 케이스에서는 세 주스를 정확히 $1/3$씩 섞으면 다섯 명 모두 음료를 마음에 들어 한다.