loading SCIP...
13 38703 true
1 2 13 26 28 38 48 59 61 72 73 74 78