当地下水位高于基坑底面时，水池基坑施工前必须采取人工降水措施，把水位降至基坑底下不少于( )，以防止施工过程构筑物浮动，保证工程施工顺利进行。