#include <stdio.h>

main(){
     unsigned a, b, c;
     while (scanf("%d%d", &a, &b) == 2)  {
	  c = a>b ? a-b : b-a;
	  c = 43200*(43200*2-a)/c % 43200 + 30;
	  printf("%d %d %02d:%02d\n", a, b, c/3600 % 12 ? c/3600 % 12 : 12,
		 c/60 % 60);
     }
}