loading SCIP...
14 35968 true
0 10 13 19 21 22 32 33 39 40 56 64 84 86