/*  This Code is Submitted by wywcgs for Problem 1549 on 2006-01-12 at 12:51:43 */ 
#include <cstdio>
#include <algorithm>
using namespace std;

typedef unsigned int uint;
const uint DAY = 43200;

int main()
{
	int k, m;
	
	while(scanf("%d %d", &k, &m) != EOF) {
		uint s = DAY*(DAY*2-k)/abs(k-m)%DAY + 30, h = s / 3600, p = s/60%60;
		printf("%d %d %02u:%02u\n", k, m, (h != 0 ? h : 12) , p);
	}
	
	return 0;
}