排水干管与排出管在穿越建筑物承重墙或基础时，要预留洞，其管顶上部的净空高度不得小于沉降量，且不小于______。