loading SCIP...
14 33969 true
3 7 10 14 19 28 39 47 56 61 82 88 94 95