loading SCIP...
9 44828 true
0 25 30 38 58 63 66 89 99