loading SCIP...
48 343 true
2 3 9 10 11 12 14 15 16 17 19 20 22 23 26 27 29 32 36 38 39 42 43 45 47 49 51 55 57 62 63 64 66 68 70 72 77 81 83 85 86 90 91 92 93 94 95 99