loading SCIP...
36 2531 true
1 5 7 8 10 11 14 16 19 24 26 27 30 31 35 38 39 43 51 52 55 57 59 60 62 64 65 71 73 77 84 86 87 92 94 98