loading SCIP...
11 26907 true
6 7 28 30 40 48 49 64 83 94 96