TSTP Solution File: SCT170+7 by Nitpick---2016