Moved: SAT Advice Needed

This discussion has been moved.