loading SCIP...
30 9406 true
5 6 7 10 11 14 21 26 28 32 35 38 48 49 54 55 57 63 68 69 72 73 79 80 88 89 90 92 94 97