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