loading SCIP...
9 38906 true
3 10 18 30 51 58 62 69 92