% SZS status Timeout for INT__MUL__SIGN__CASES_
