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