loading SCIP...
8 24484 true
1 5 29 30 34 36 67 90