#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; }