loading SCIP...
11 41187 true
1 12 21 22 38 49 58 71 73 85 98