loading SCIP...
11 43078 true
1 15 20 22 35 54 65 66 87 92 94