loading SCIP...
18 29140 true
1 7 9 14 17 26 29 34 47 53 61 69 71 74 83 93 94 96