loading SCIP...
11 40000 true
14 24 39 47 52 55 59 61 69 86 96