loading SCIP...
11 41531 true
32 33 36 37 49 50 53 59 81 82 98