Moved: I need some sat strategies

This discussion has been moved.