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