一项工程用20个工人,15天可完成,如果用30人施工,多少天可以完成?用比例解