loading SCIP...
25 17328 true
0 3 6 8 21 24 26 27 32 40 42 43 44 50 51 54 56 57 60 63 64 74 79 86 90