loading SCIP...
17 32156 true
11 17 18 25 40 42 50 51 54 55 64 68 70 76 81 82 88