야찌

콜린은 어릴 때 주사위 게임 야찌를 즐겨 했다. 야찌에서는 주사위 다섯 개를 열세 번 굴리고, 굴린 결과 한 벌을 점수 칸 하나에 배정한다. 배정은 일대일 대응이다. 각 결과는 정확히 한 칸에만 쓰이고, 각 칸도 정확히 한 결과만 받는다. 그래서 13개 칸이 모두 채워지고 13벌의 결과가 모두 쓰인다.

프로그래머가 된 콜린은 주어진 열세 벌의 결과로 얻을 수 있는 최대 총점을 구하려고 한다. 원래 야찌에서는 주사위 일부를 다시 굴릴 수 있지만, 콜린은 계산을 간단히 하려고 이 규칙을 뺐다.

위쪽 여섯 칸은 눈 1부터 6까지에 하나씩 대응한다.

• 1: 눈이 1인 주사위의 개수에 1을 곱한다. (1 2 3 4 5이면 1점)
• 2: 눈이 2인 주사위의 개수에 2를 곱한다. (3 1 1 5 6이면 0점)
• 3: 눈이 3인 주사위의 개수에 3을 곱한다. (4 1 3 3 3이면 9점)
• 4: 눈이 4인 주사위의 개수에 4를 곱한다. (4 1 1 6 5이면 4점)
• 5: 눈이 5인 주사위의 개수에 5를 곱한다. (2 1 6 5 5이면 10점)
• 6: 눈이 6인 주사위의 개수에 6을 곱한다. (6 2 1 6 3이면 12점)

위 여섯 칸의 점수 합이 63점 이상이면 보너스 35점을 총점에 더한다.

아래쪽 일곱 칸은 다음과 같다.

• 찬스: 주사위 다섯 개의 눈을 모두 더한다. (1 2 3 4 5이면 15점)
• 트리플: 같은 눈이 세 개 이상 있으면 다섯 개의 눈을 모두 더하고, 없으면 0점이다. (1 1 1 5 6이면 14점, 1 2 3 4 5이면 0점)
• 포카드: 같은 눈이 네 개 이상 있으면 다섯 개의 눈을 모두 더하고, 없으면 0점이다. (1 1 1 1 6이면 10점, 1 2 3 4 5이면 0점)
• 작은 스트레이트: 주사위 네 개 이상이 연속한 눈을 이루면 25점, 아니면 0점이다. (1 2 3 4 1이면 25점, 1 2 3 1 2이면 0점)
• 큰 스트레이트: 다섯 개가 모두 연속한 눈을 이루면 35점, 아니면 0점이다. (1 2 3 4 5이면 35점, 1 2 3 4 1이면 0점)
• 풀하우스: 세 개가 서로 같고 나머지 두 개도 서로 같으면 40점, 아니면 0점이다. (5 2 5 5 2이면 40점, 5 2 5 5 1이면 0점) 다섯 개가 모두 같은 경우도 풀하우스로 친다.
• 야찌: 다섯 개가 모두 같으면 50점, 아니면 0점이다. (1 1 1 1 1이면 50점, 1 1 1 1 2이면 0점)

첫째 줄에 테스트 케이스의 개수가 주어진다. 각 테스트 케이스는 13줄로 이루어지고, 각 줄에는 한 번에 굴린 주사위 다섯 개의 눈이 정수 다섯 개로 주어진다. 각 눈은 1 이상 6 이하다.

각 테스트 케이스마다 한 줄에 Case x: s 형식으로 출력한다. x는 1부터 시작하는 테스트 케이스 번호이고, s는 주어진 결과로 얻을 수 있는 최대 총점이다.