loading SCIP...
37 3547 true
1 2 4 5 7 12 15 21 23 26 29 30 31 35 37 41 42 44 45 49 50 54 60 61 63 65 66 67 71 73 79 83 86 88 92 95 96