Moved: SAT testing

This discussion has been moved.