loading SCIP...
11 41312 true
7 8 13 27 29 31 43 45 61 74 97