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