TSTP Solution File: SWC227-1 by Refute---2015