TSTP Solution File: SWV997_1 by Refute---2015