loading SCIP...
18 29265 true
3 14 22 25 34 36 49 51 53 55 58 65 71 76 82 89 90 99