loading SCIP...
12 37234 true
1 15 18 19 21 46 57 58 70 93 94 95