Moved: SAT help

This discussion has been moved.