loading SCIP...
9 46766 true
6 12 33 46 57 58 68 73 98