TSTP Solution File: SWV127+1 by Refute---2015