loading SCIP...
12 38672 true
8 27 30 32 33 36 45 63 65 84 85 95