#1531 · Thời gian sớm nhất

Bắc đang tìm hiểu về đồng hồ và cách xem giờ. Cậu biết rằng thời gian trong máy tính được biểu diễn bởi 4 chữ số theo định dạng 24 giờ là HH:MM, trong đó 00≤HH≤23 chỉ giờ, 00≤MM≤59 chỉ phút. Thời gian sớm nhất là 00:00 và muộn nhất là 23:59. Bắc được cho 4 chữ số ngẫu nhiên, hãy giúp Bắc tìm thời gian sớm nhất tạo thành từ 4 chữ số đó theo định dạng HH:MM. nếu không có kết quả phù hợp, in ra -1.

• Một dòng chứa 4 chữ số a,b,c,d phân cách nhau bởi dấu cách.

Một dòng chứa kết quả tìm được theo định dạng HH:MM