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