loading SCIP...
12 36547 true
12 24 26 31 44 61 63 64 80 81 82 91