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