loading SCIP...
17 32516 true
6 9 14 16 17 19 20 26 40 56 58 59 60 86 94 95 97