loading SCIP...
47 843 true
1 7 9 11 12 13 19 21 24 27 28 29 30 31 32 37 38 42 44 45 46 47 53 54 58 59 60 61 62 63 65 69 70 71 75 77 78 81 82 84 88 91 93 94 95 97 99