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