在拱形涵施工过程中遇到了地下水，应先将地下水降至基底以下（　）mm方可施工。