TSTP Solution File: SCT222_5 by Nitpick---2016