loading SCIP...
20 25421 true
0 9 11 13 23 25 28 32 34 39 44 52 61 73 74 75 79 81 83 94