loading SCIP...
30 9406 true
1 2 4 7 16 19 25 28 30 32 36 39 44 48 49 58 62 64 65 67 72 73 75 80 84 88 89 92 95 98