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