loading SCIP...
29 12203 true
1 3 10 11 18 22 24 25 31 32 36 41 46 50 51 52 59 60 64 65 68 75 77 81 82 83 90 95 96