loading SCIP...
9 47266 true
23 25 41 50 58 61 78 81 92