loading SCIP...
13 40734 true
0 6 21 24 27 31 34 41 46 65 72 90 97