TSTP Solution File: GRP012-4 by Nitpick---2016