#include<bits/stdc++.h>
using namespace std;

int main(){
	ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
	int s, v;
	cin >> s >> v;
	int tmin = ceil(s/v) + 10;
	int start_minute = (480 + 24*60 - tmin) % (24 * 60);
	int h = start_minute / 60;
	int m = start_minute % 60;
	
	printf("%02d:%02d", h, m-1);
	
	return 0;
}

求调