loading SCIP...
10 44907 true
18 33 40 41 62 71 85 89 91 96