TSTP Solution File: GRP703+1 by Nitpick---2016