Moved: Trouble with SAT Math

This discussion has been moved.