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