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