loading SCIP...
7 43343 true
1 27 49 87 90 91 93