% SZS status Timeout for IN__DISJOI
