loading SCIP...
10 44078 true
13 16 22 33 37 39 59 61 79 99