loading SCIP...
27 11922 true
6 8 12 15 16 24 32 34 39 45 51 52 62 63 65 68 73 80 82 86 87 88 90 93 96 97 99