loading SCIP...
14 35750 true
11 13 20 21 53 55 57 58 62 71 72 85 86 91