loading SCIP...
12 41437 true
2 11 13 27 30 32 34 39 63 75 93 97