loading SCIP...
10 46656 true
21 28 32 41 42 59 80 82 83 95