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