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