loading SCIP...
17 30328 true
2 6 13 21 24 25 38 40 41 47 48 49 52 61 77 82 97