loading SCIP...
14 33437 true
16 23 26 29 34 39 60 63 64 82 83 93 94 99