loading SCIP...
33 5438 true
1 6 9 10 11 15 16 17 18 19 23 24 28 35 39 40 48 52 55 59 61 62 66 76 79 82 85 90 91 92 94 98 99