% SZS status Timeout for OMEGA__DISJ__CLOSU
