loading SCIP...
9 36969 true
6 11 28 33 37 38 40 50 51