一项工程，12个工人25天完成。如果要20天完成，需要多少个工人?