Clamp minimum SAT sampling to 1x1