loading SCIP...
17 30171 true
0 2 12 24 30 35 38 49 51 52 64 65 67 68 79 81 82