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