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