loading SCIP...
9 46672 true
3 8 37 55 59 75 81 83 92