loading SCIP...
10 42218 true
3 10 15 25 33 42 67 73 82 85