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