根据《水工建筑物地下开挖工程施工规范》(SL 378-2007)，使用两台水泵进行洞内排水，应有（ ）的备用量。