loading SCIP...
9 42922 true
6 16 31 53 59 63 65 67 97