loading SCIP...
13 38703 true
1 4 9 17 25 27 35 53 81 83 86 89 90