Moved: SAT problem help?!?!

This discussion has been moved.