loading SCIP...
28 9078 true
5 6 7 10 11 17 26 28 29 33 34 35 36 37 51 58 62 63 65 69 74 79 85 86 90 91 95 99