loading SCIP...
10 44922 true
2 6 29 39 57 58 60 66 85 96