loading SCIP...
28 12281 true
0 1 9 18 22 23 24 26 27 31 32 33 35 37 46 49 50 52 56 57 63 70 71 73 75 82 84 92