loading SCIP...
8 31750 true
10 12 15 25 26 30 79 81