loading SCIP...
12 41891 true
12 47 53 58 67 69 72 76 77 80 89 92