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