loading SCIP...
9 40234 true
1 6 33 36 43 49 62 80 90