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