loading SCIP...
23 19093 true
2 4 5 7 8 9 18 19 20 32 33 40 54 68 76 77 79 82 84 86 89 90 92