TSTP Solution File: SWV569-1.040 by Refute---2015