loading SCIP...
36 3734 true
1 5 6 8 11 12 14 17 27 29 31 39 41 42 43 46 49 51 52 53 57 62 67 69 71 73 76 79 81 86 87 89 90 91 97 99