TSTP Solution File: SWV310-2 by Refute---2015