loading SCIP...
19 28000 true
2 11 12 13 16 20 21 32 42 46 47 54 57 67 82 90 94 95 96