loading SCIP...
40 3219 true
0 7 9 10 11 16 18 19 22 23 26 27 28 30 31 32 34 37 38 40 44 45 48 57 59 61 63 64 66 67 70 74 77 78 82 85 87 89 94 98