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