loading SCIP...
25 16906 true
0 3 8 9 20 22 24 39 40 44 49 54 55 57 64 67 70 72 79 81 83 86 87 90 94