loading SCIP...
19 29500 true
2 14 22 23 28 32 35 40 52 53 73 77 78 84 86 91 92 94 97