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