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