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