TSTP Solution File: GRP012+5 by Nitpick---2016