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