loading SCIP...
12 40219 true
12 18 25 29 38 44 52 64 68 80 83 90