loading SCIP...
13 40578 true
0 11 26 28 38 39 52 58 62 65 73 92 94