loading SCIP...
11 33562 true
5 9 15 22 26 29 42 67 69 78 87