仕事の量をW、1人あたりの仕事をこなす速さをvとすると、
4v*3=12v=W より、{W-(5v*1)}/v=(12v-5v)/v=7時間