loading SCIP...
8 30031 true
22 41 46 52 61 75 87 98