loading SCIP...
13 38156 true
0 4 18 20 24 30 33 37 62 85 89 95 98