Cho một mảng \(A\) gồm \(4\) số nguyên. Em hãy tìm thời gian (theo định dạng 24 giờ) lớn nhất có thể được hình thành bằng cách ghép các phần tử của mảng \(A\).

• Lưu ý: Thời gian nhỏ nhất theo định dạng 24 giờ là 00:00 và lớn nhất là 23:59. Nếu không thể hình thành thời gian hợp lệ thì ghi \(-1\)

Dữ liệu vào

• Một dòng chứa 4 phần tử của mảng \(A\)

Dữ liệu ra

• Kết quả cần tìm hoặc ghi -1 nếu không tìm được

Input

1 2 3 4

Output

23:41