loading SCIP...
12 40203 true
4 5 47 54 56 62 70 71 82 88 90 96