/* UVa 161 -- RTE */
#include <iostream>
#include <cstdio>
using namespace std;
int main(){
while(cin){
int longest = 0, cycles[101], seconds;
int index = 0;
bool allisgreen = false;
while(cin >> cycles[index], cycles[index]!=0){
if(cycles[index] > longest)
longest = cycles[index];
index++;
}
seconds = 2*longest;
while(!allisgreen && seconds <= 18000 ){
for(int i = 0; i <= index; i++){
// test here
if((seconds/cycles[i]) %2 == 1){
allisgreen = false;
}
else if(seconds -((seconds/cycles[i])*cycles[i]) > cycles[i] -5){
allisgreen = false;
}
else{
allisgreen = true;
}
if(allisgreen == false){
break;
}
}
seconds++;
}
if(cycles[0] == 0)
continue;
else if(seconds > 18000 ){
cout << "Signals fail to synchronise in 5 hours\n";
}
else{
if(seconds/3600 == 0)
cout << "00:";
else
cout << "0" << seconds/3600 << ":";
seconds-= (seconds/3600) * 3600;
if((seconds/60) < 10){
cout << "0" << seconds/60 << ":";
}
else{
cout << seconds/60 << ":";
}
seconds -= (seconds/60) * 60;
if(seconds <10)
cout << "0" << seconds << ":\n";
else
cout << seconds << endl;
}
}
return 0;
}
LyogVVZhIDE2MSAtLSBSVEUgKi8gCgojaW5jbHVkZSA8aW9zdHJlYW0+CiNpbmNsdWRlIDxjc3RkaW8+Cgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKXsKCXdoaWxlKGNpbil7CgkJaW50IGxvbmdlc3QgPSAwLCBjeWNsZXNbMTAxXSwgc2Vjb25kczsgCgkJaW50IGluZGV4ID0gMDsgCgkJYm9vbCBhbGxpc2dyZWVuID0gZmFsc2U7IAoJCXdoaWxlKGNpbiA+PiBjeWNsZXNbaW5kZXhdLCBjeWNsZXNbaW5kZXhdIT0wKXsKCQkJaWYoY3ljbGVzW2luZGV4XSA+IGxvbmdlc3QpCgkJCQlsb25nZXN0ID0gY3ljbGVzW2luZGV4XTsgCgkJCWluZGV4Kys7CgkJfQoJCXNlY29uZHMgPSAyKmxvbmdlc3Q7CgkJd2hpbGUoIWFsbGlzZ3JlZW4gJiYgc2Vjb25kcyA8PSAxODAwMCApewoJCQlmb3IoaW50IGkgPSAwOyBpIDw9IGluZGV4OyBpKyspewoJCQkJLy8gdGVzdCBoZXJlIAoJCQkJaWYoKHNlY29uZHMvY3ljbGVzW2ldKSAlMiA9PSAxKXsKCQkJCQlhbGxpc2dyZWVuID0gZmFsc2U7CgkJCQl9CgkJCQllbHNlIGlmKHNlY29uZHMgLSgoc2Vjb25kcy9jeWNsZXNbaV0pKmN5Y2xlc1tpXSkgPiBjeWNsZXNbaV0gLTUpewoJCQkJCWFsbGlzZ3JlZW4gPSBmYWxzZTsKCQkJCX0KCQkJCWVsc2V7CgkJCQkJYWxsaXNncmVlbiA9IHRydWU7CgkJCQl9CgkJCQlpZihhbGxpc2dyZWVuID09IGZhbHNlKXsKCQkJCQlicmVhazsJCgkJCQl9CgkJCX0KCQkJc2Vjb25kcysrOwoJCX0KCQlpZihjeWNsZXNbMF0gPT0gMCkKCQkJY29udGludWU7CgkJZWxzZSBpZihzZWNvbmRzID4gMTgwMDAgKXsKCQkJY291dCA8PCAiU2lnbmFscyBmYWlsIHRvIHN5bmNocm9uaXNlIGluIDUgaG91cnNcbiI7CgkJfQoJCWVsc2V7CgkJCWlmKHNlY29uZHMvMzYwMCA9PSAwKQoJCQkJY291dCA8PCAiMDA6IjsgCgkJCWVsc2UKCQkJCWNvdXQgPDwgIjAiIDw8IHNlY29uZHMvMzYwMCA8PCAiOiI7IAoJCQlzZWNvbmRzLT0gKHNlY29uZHMvMzYwMCkgKiAzNjAwOyAKCQkJaWYoKHNlY29uZHMvNjApIDwgMTApewoJCQkJY291dCA8PCAiMCIgPDwgc2Vjb25kcy82MCA8PCAiOiI7IAoJCQl9CgkJCWVsc2V7CgkJCQljb3V0IDw8IHNlY29uZHMvNjAgPDwgIjoiOyAKCQkJfQoJCQlzZWNvbmRzIC09IChzZWNvbmRzLzYwKSAqIDYwOyAKCQkJaWYoc2Vjb25kcyA8MTApCgkJCQljb3V0IDw8ICIwIiA8PCBzZWNvbmRzIDw8ICI6XG4iOyAKCQkJZWxzZQoJCQkJY291dCA8PCBzZWNvbmRzIDw8IGVuZGw7CgkJfQoJfQoJcmV0dXJuIDA7IAp9