loading SCIP...
30 8781 true
2 4 5 8 12 16 19 20 22 27 28 32 51 55 62 66 74 77 78 79 81 82 83 84 85 90 91 92 94 97