TSTP Solution File: SWV561-1.007 by Refute---2015