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