loading SCIP...
30 8906 true
1 2 5 8 13 23 27 32 33 41 45 50 51 52 53 54 60 61 65 68 71 72 75 82 84 88 90 91 95 98