修一条路,12个工人去修20天可以完成.如果每人的工作效率不变,现在要提前4天完成,需要多少个工人?