161 - Traffic Lights

你喜歡紅綠燈嗎?如果在上班的途中一路上都剛好遇到綠燈那將是一件令人快樂的事。有一天當你在一條筆直的路上開車時,突然發現所有的紅綠燈同時由紅燈變為綠燈。 這使你不禁想到一個問題:下一次所有的燈號都是綠燈的時間要多久(從所有的燈號恰好同時由紅燈轉為綠燈那時算起)。在這裡並不要求所有的燈號同時再由紅轉綠,而是指在某一秒鐘時,所有的燈號都是綠色的就可以了。 並且「下一次」指的是至少有一個紅綠燈曾經轉為紅燈之後。

給你各紅綠燈的間隔時間,你的任務就是算出這個再一次同時為綠燈的時間是多少。

Input

輸入包含多組測試資料。每組測試資料的內容為一連串的整數(中間以一個以上的空白相隔。可能在同一列,也可能跨多列,但每列的長度均不會超過100個字元), 代表各紅綠燈間隔的時間(單位:秒)。說明如下:如果間隔時間為25,代表該紅綠燈可以通行的時間(綠燈+黃燈)為25秒,不能通行的時間(紅燈)也是25秒。 其中黃燈的時間一定是5秒,所以在這個例子中綠燈的時間其實只有20秒。間隔時間一定介於10到90之間,紅綠燈的數目最少2個,最多100個。若遇到間隔時間=0,代表這組測試資料結束。 若遇到僅含有3個0的一列,代表輸入結束。請參考Sample Input。

Output

每組測試資料輸出一列,如題目所述,格式請參考Sample Output。如果時間超過5個小時,請輸出:Signals fail to synchronise in 5 hours

Sample Input

19 20 0
30 25 35 0
10 10 10 0
90 75 72 60 50 40 24 18 0
11 12 13 14 15 16 17 18 19 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51
52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 6970 71 72 73 74 75 76 77
78 79 80 81 82 83 84 85 86 87 88 89 90 81 82 83 84 85 86 87 88 89 90 0
21 22 23 24 25 26 27 28 29 30 0
10 11 37 89 43 0
15 17 20 24 29 30 31 37 38 39 40 41 51 52 53
54 55 56 57 58 59 60 61 62 85 86 87 88 89 90 0
10 11 12 15 18 20 22 23 24 25 26 27 29 30 31
32 35 36 37 40 42 43 45 50 52 58 60 62 66 67
68 69 72 73 75 76 78 81 83 84 87 88 89 90 0
0 0 0

Sample Output

00:00:40
00:05:00
00:00:20
01:00:00
Signals fail to synchronise in 5 hours
02:14:24
00:00:22
00:04:08
05:00:00