loading SCIP...
12 36843 true
0 1 4 8 17 21 32 36 59 60 76 93