2 ms·Or this SCIP https://www.scip.ch/en/ https://www.scip.ch/en/by dobin 6mo agoOr this SCIP https://www.scip.ch/en/ https://www.scip.ch/en/