loading SCIP...
32 5844 true
2 3 4 7 12 16 17 18 21 22 30 33 35 36 38 39 43 45 46 53 54 55 60 66 68 70 75 77 81 86 87 91