loading SCIP...
9 47282 true
16 19 20 21 30 56 67 81 83