TSTP Solution File: SWV661_5 by Refute---2015