loading SCIP...
14 35000 true
20 21 45 46 47 55 61 62 67 68 72 85 87 93