#include<stdio.h>
int main()
{
	int s, v;
	scanf("%d%d",&s,&v);
	printf("0%d:%d", (470 - s / v) / 60, (470.0 - s / v) % 60);
	return 0;
}