Moved: Canceling SAT

This discussion has been moved.