loading SCIP...
23 19453 true
3 8 10 16 19 23 26 33 35 41 46 49 50 55 56 63 64 66 75 78 80 81 89