农民要给一块田锄草,每天每人的锄草量不变,10人需12天,15人需要多少天?