loading SCIP...
9 25516 true
16 24 33 36 65 76 87 96 99