loading SCIP...
35 6984 true
6 7 8 11 13 18 20 24 28 36 37 47 50 52 53 55 57 59 61 63 64 66 67 70 72 73 75 77 80 82 89 91 92 98 99