TSTP Solution File: SWV364-1 by Refute---2015