loading SCIP...
27 13109 true
0 1 2 7 9 16 17 20 28 29 33 35 40 44 45 50 53 54 55 56 58 64 69 72 81 82 95