loading SCIP...
30 9406 true
8 12 13 15 19 20 21 22 24 29 31 33 34 35 36 46 52 53 55 57 61 70 73 78 79 80 89 96 97 99