loading SCIP...
32 6859 true
4 5 7 8 13 17 19 20 21 22 30 36 37 38 39 41 46 48 50 51 57 59 67 72 76 79 84 90 94 95 97 98