loading SCIP...
9 47782 true
1 6 24 33 38 55 76 77 88