loading SCIP...
12 38671 true
26 37 49 58 63 79 82 89 90 92 96 98