loading SCIP...
14 37171 true
12 22 23 35 40 44 47 49 60 64 69 72 83 99