当地下水位高于基坑底面时，水池基坑施工前必须采取人工降水措施，把水位降至基坑底下不少于( )mm。