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