% SZS status Timeout for optmin__def_
