loading SCIP...
33 5203 true
0 3 5 6 8 9 14 16 17 22 27 34 36 37 40 41 47 49 53 56 58 64 67 68 69 71 81 83 86 87 88 91 93