Moved: SAT Reuse? October 2015

This discussion has been moved.