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