当地下水位高于水池基坑底面时，必须把水位降至基坑底下不少于( )mm处。