loading SCIP...
9 50406 true
7 14 21 27 33 79 81 86 90