loading SCIP...
12 38359 true
3 4 11 17 28 30 38 56 63 70 82 98