有20人修筑一条公路，计划15天完成．动工3天后抽出5人植树，留下的人继续修路．如果每个人的工作效率不变，那么修完这段公路实际用多少天？