loading SCIP...
12 39516 true
7 15 24 32 36 52 54 57 64 68 78 96