loading SCIP...
9 39328 true
33 38 48 57 61 64 69 86 94