TSTP Solution File: SWV489+3 by Refute---2015