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