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