我的答案——自己参考：

#include <iostream>
using namespace std;
int main(){
int hh,mm,ss,t;
cin>>t;
ss=t%60;
mm=t/60%60;
hh=t/60/60%24;
printf("%02d:%02d:%02d",hh,mm,ss);
return 0;
}