loading SCIP...
12 41422 true
0 11 18 19 28 29 40 42 58 62 83 91