loading SCIP...
9 45484 true
1 46 48 58 64 80 87 97 98