loading SCIP...
30 10875 true
1 2 3 6 9 12 14 16 21 23 26 31 36 43 44 46 50 58 63 64 66 69 71 74 80 82 83 84 91 95