loading SCIP...
27 12593 true
0 3 6 7 9 10 11 14 17 27 31 32 38 44 45 46 49 50 53 65 74 76 78 81 89 92 99