loading SCIP...
28 11141 true
1 2 7 20 21 26 29 31 32 35 36 37 45 50 52 57 69 76 79 82 85 89 90 91 94 96 97 99