loading SCIP...
23 21375 true
8 9 10 14 15 16 21 23 26 28 31 34 49 72 73 75 77 79 84 85 86 93 99