loading SCIP...
41 2296 true
2 3 4 5 7 8 10 11 13 14 21 27 31 32 33 36 37 38 44 46 48 50 52 54 55 57 60 62 74 76 78 79 82 83 84 85 87 90 92 94 96