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