Moved: SAT Problem

This discussion has been moved.