排水沟沟顶应高出设计水位不小于（ ）。