#include <bits/stdc++.h>

using namespace std;

int s,v;
int main(){
	scanf("%d%d%", &s, &v);
	int minutes = (s+v-1)/v + 10;
	cout<<minutes<<endl;
	int HH = (8-(minutes+60-1)/60)>=0 ? (8-(minutes+60-1)/60) : 24+(8-(minutes+60-1)/60);
	int MM = 60-minutes%60;
	printf("%02d:%02d",HH,MM);
	return 0;
}