% SZS status Timeout for rat__of__num__def_
