三次用时是 4、5、12 分钟。平均用时是多少？