loading SCIP...
33 5984 true
2 4 5 14 15 18 23 24 26 29 31 34 35 37 39 45 53 55 58 59 65 67 68 74 79 80 82 83 91 92 96 97 99