loading SCIP...
27 14937 true
2 3 10 13 14 18 28 30 31 33 38 41 42 49 50 51 55 58 60 64 69 72 80 81 83 85 98