loading SCIP...
38 2485 true
3 4 9 12 13 16 18 19 24 29 31 37 38 41 42 45 47 48 51 52 54 56 59 60 67 69 71 72 73 74 82 83 87 93 95 96 97 99