loading SCIP...
10 48422 true
1 12 18 27 59 70 76 85 86 98