loading SCIP...
26 18750 true
8 13 17 19 25 26 34 36 41 43 45 48 50 55 57 58 59 63 67 72 80 82 84 85 90 96