loading SCIP...
14 35281 true
9 12 14 30 31 46 48 56 61 65 71 79 83 85