土石坝的粘土防渗墙顶部高程应高于设计洪水位加一定（），且（）校核洪水位。