loading SCIP...
13 36750 true
22 35 37 41 45 52 56 62 68 84 85 86 91