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