loading SCIP...
41 1313 true
0 1 6 10 14 15 19 22 24 25 30 31 33 35 37 41 51 57 58 61 62 64 69 71 72 73 74 76 77 81 83 84 85 86 87 88 89 90 91 92 93