TSTP Solution File: SCT013-1 by Nitpick---2016