loading SCIP...
43 1860 true
10 12 13 15 17 18 20 21 22 24 25 30 31 34 35 38 45 48 49 51 52 56 57 59 60 64 65 66 67 70 71 73 76 82 83 88 90 91 94 96 97 98 99