loading SCIP...
43 1578 true
3 5 8 9 11 13 14 15 16 17 18 19 21 23 25 27 29 30 33 35 37 39 43 50 54 60 65 67 70 72 73 75 76 77 78 79 82 83 87 91 93 95 99