loading SCIP...
47 125 true
0 3 4 5 7 9 16 18 20 21 22 23 24 28 30 32 34 35 40 43 45 46 47 48 49 54 55 59 60 61 62 63 64 65 66 68 71 77 78 80 85 86 89 90 93 94 97