loading SCIP...
12 41031 true
4 9 12 15 23 34 35 39 71 82 88 94