loading SCIP...
27 15594 true
2 5 6 11 16 21 24 25 27 30 32 33 34 36 44 47 48 68 69 72 73 81 83 84 86 93 97