% SZS status Timeout for rat__of__num__def__compute_
