loading SCIP...
17 30484 true
1 3 6 7 9 21 22 24 26 46 52 57 68 69 76 82 97