loading SCIP...
9 48250 true
8 15 43 57 73 79 88 91 92