loading SCIP...
13 38656 true
7 15 28 41 43 49 63 67 68 77 81 82 90