Moved: New SAT

This discussion has been moved.