给水横管穿过预留洞时，管顶上部净空不得小于建筑物的沉降量，以保护管道不致因建筑沉降而损坏，一般不小于( )。