一个水库在年降水量不变的情况下能够维持全市12万人20年的