#include<bits/stdc++.h>
using namespace std;
int s,v,l=0,ans=0;
int main() {
	cin>>s>>v;
	while(l<=s)
	{   
	    ans++;
		l+=v;
		
	}
	if(ans<480) printf("%02d:%02d",7-ans/60,50-ans%60);
	if(ans>=480) printf("%02d:%02d",31-ans/60,50-ans%60);
	
	return 0;
}