loading SCIP...
28 11109 true
1 4 5 9 14 17 22 26 28 29 30 34 37 46 51 54 55 57 65 68 69 72 75 78 83 88 92 96