loading SCIP...
32 8984 true
1 2 3 5 8 10 15 18 23 24 28 30 32 34 35 39 43 44 46 53 57 58 60 67 69 71 74 78 85 86 90 99