TSTP Solution File: SWV455+1 by Refute---2015