% SZS status Timeout for maximal__linear__ord
