loading SCIP...
12 42140 true
5 17 22 34 36 38 46 51 58 70 87 95