loading SCIP...
34 5187 true
1 4 5 8 11 16 18 19 22 27 28 29 30 37 39 46 47 49 57 58 61 62 63 64 68 71 73 75 78 81 83 93 97 99