TSTP Solution File: SWV422-1.065 by Refute---2015