loading SCIP...
42 1016 true
3 5 8 9 10 11 16 20 22 29 31 32 34 35 40 41 43 47 48 57 58 60 63 66 69 70 71 73 76 77 79 81 83 84 87 88 91 92 94 95 97 99