loading SCIP...
10 42422 true
18 34 35 44 47 60 65 78 88 96