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