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