loading SCIP...
14 34750 true
19 21 25 31 44 54 66 68 73 75 79 91 94 99