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