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