loading SCIP...
12 40297 true
12 16 19 24 34 36 43 65 72 81 88 99