TSTP Solution File: SWV333-1 by Refute---2015