loading SCIP...
9 45532 true
9 11 23 29 56 71 90 95 97