loading SCIP...
9 27156 true
2 15 23 36 50 72 85 92 99