loading SCIP...
12 39234 true
1 5 18 25 30 31 33 39 76 85 87 92