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