loading SCIP...
8 49187 true
8 12 38 48 57 79 81 98