loading SCIP...
21 25125 true
6 8 11 15 16 18 19 21 27 33 34 37 46 56 58 72 77 82 94 95 98