TSTP Solution File: SWV424-1.400 by Refute---2015