#include <stdio.h>
int main()
{
    int h=17;
    int time=0;
    
    while (h>3){
        h-=3;
        time+=1;
        h+=1;
        time+=1;
    }
        time+=1;
    printf("需要%d分钟",time);

    return 0;
}

#include <stdio.h>

int main()
{
    printf("需要15分钟");
    return 0;
}