% SZS status Timeout for trichotomous__STRO
