loading SCIP...
9 46109 true
0 5 10 24 33 51 57 94 96