loading SCIP...
16 34671 true
0 1 4 16 25 26 28 34 36 39 43 54 59 64 76 83