loading SCIP...
34 3813 true
1 2 3 5 6 8 10 15 18 21 22 26 32 35 40 43 44 47 48 55 56 60 67 69 71 74 79 82 83 86 88 90 92 98