loading SCIP...
26 13250 true
8 12 17 18 22 23 30 33 34 38 39 41 48 53 57 58 61 72 73 78 83 84 86 88 89 95