loading SCIP...
12 36187 true
6 18 29 35 38 46 53 68 70 73 76 80