loading SCIP...
7 39578 true
14 15 48 56 57 92 93