added SCIP support