loading SCIP...
11 26093 true
0 7 14 18 23 41 51 54 66 90 93