loading SCIP...
40 4359 true
4 6 7 8 14 15 18 19 20 21 22 25 26 27 34 39 40 41 44 48 49 52 53 56 60 62 63 70 73 74 75 77 79 80 82 85 88 91 92 95