loading SCIP...
32 8078 true
2 3 7 8 9 10 12 14 15 26 27 33 36 46 47 51 52 56 60 63 65 66 68 69 78 80 83 85 86 89 92 96