loading SCIP...
38 2359 true
2 3 4 9 10 12 13 16 17 19 22 23 28 30 32 36 41 43 45 46 53 57 58 63 64 65 68 69 72 76 81 84 87 90 92 94 96 97