TSTP Solution File: SWV867-1 by Nitpick---2016