TSTP Solution File: SWV378+1 by Nitpick---2016