TSTP Solution File: SWV264-2 by Refute---2015