loading SCIP...
12 41891 true
8 10 12 25 33 36 63 64 65 77 86 92