Clock

Given a time HH:MM:SS and one parameter $a$, you need to calculate next time satisfying following conditions:

1. The angle formed by the hour hand and the minute hand is $a$.
2. The time may not be a integer(e.g. 12:34:56.78), rounded down(the previous example 12:34:56).

The input contains multiple test cases.

Each test case contains two lines.
The first line is the time HH:MM:SS$(0\leq HH<12,0\leq MM<60,0\leq SS<60)$.
The second line contains one integer $a(0\leq a\leq 180)$.

For each test case, output a single line contains test case number and the answer HH:MM:SS.

0:59:59
30
01:00:00
30

Case #1: 01:00:00
Case #2: 01:10:54

"巴卡斯杯" 中国大学生程序设计竞赛 - 女生专场