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