loading SCIP...
38 4235 true
6 7 11 14 15 17 18 20 21 24 26 27 39 50 51 53 54 55 58 59 62 65 66 67 69 73 76 80 81 82 83 85 90 91 92 93 95 99