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