loading SCIP...
27 12187 true
5 6 8 13 18 21 25 29 33 35 37 40 45 56 57 60 61 68 72 73 74 80 81 89 92 96 97