解

#include<stdio.h>
#define time(h,m,s) h*3600+m*60+s
#define a_day time(24,0,0)

void format_time(long long sec){
    long long a=sec,h,m,s;
    h=a/3600;
    m=(a-h*3600)/60;
    s=(a-h*3600)%60;
    printf("%lld %lld %lld",h,m,s);
}
int main(){
    long long h,m,s,k;
    scanf("%lld%lld%lld%lld",&h,&m,&s,&k);
    long long sec=time(h,m,s);
    sec%=a_day;
    sec+=k;
    format_time(sec);
    return 0;
}