loading SCIP...
9 29047 true
1 2 5 15 26 55 60 70 92