TSTP Solution File: SWC062+1 by Refute---2015