loading SCIP...
11 40328 true
3 9 28 38 55 57 67 68 83 85 94