loading SCIP...
9 42656 true
0 8 27 45 48 55 65 86 88