TSTP Solution File: SWV633_5 by Refute---2015