一项工程,12个工人25天可以完成,如果想要20天完成,需要多少个工人?(用比例的方法解决问题)