loading SCIP...
8 49016 true
18 32 44 61 70 78 81 91