loading SCIP...
9 40875 true
14 25 34 51 58 63 90 94 95