loading SCIP...
12 40344 true
0 20 26 28 34 42 48 56 68 76 79 87