loading SCIP...
14 33813 true
21 25 29 30 39 43 46 47 64 71 73 75 84 96